Commit 2023-04-09 22:44 a8db3aa0

View on Github →

feat: protect Subgroup.subtype (#3254) Mathlib 3: https://github.com/leanprover-community/mathlib/pull/18712

Estimated changes

deleted def Subgroup.subtype
modified theorem Subgroup.subtype_injective
modified theorem SubgroupClass.coeSubtype