Skip to content
Add "closed-pr" emoji in Zulip

[Merged by Bors] - feat(QuotientGroup): surjectivity and kernel of QuotientGroup.map #316

Sign in to view logs

[Merged by Bors] - feat(QuotientGroup): surjectivity and kernel of QuotientGroup.map

[Merged by Bors] - feat(QuotientGroup): surjectivity and kernel of QuotientGroup.map #316

Triggered via pull request April 30, 2025 11:32
@mathlib-borsmathlib-bors[bot]
closed #23205
xfr_quotientgroup_rangeker
Status Success
Total duration 10s
Artifacts –

zulip_emoji_closed_pr.yaml

on: pull_request
Add closed-pr emoji in Zulip
2s
Add closed-pr emoji in Zulip
Fit to window
Zoom out
Zoom in
⚡