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