Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-09-05 19:53
9ebb98c1
View on Github →
chore(Topology/Group): golf (
#15531
)
Estimated changes
Modified
Mathlib/GroupTheory/Coset/Basic.lean
added
theorem
QuotientGroup.preimage_image_mk_eq_mul
Modified
Mathlib/Topology/Algebra/Group/Basic.lean