Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-02-06 07:44
20091454
View on Github →
feat: port GroupTheory.Perm.Subgroup (
#2086
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/GroupTheory/Perm/Subgroup.lean
added
theorem
Equiv.Perm.sigmaCongrRightHom.card_range
added
theorem
Equiv.Perm.subtypeCongrHom.card_range
added
theorem
Equiv.Perm.sumCongrHom.card_range