Commit 2024-11-04 16:42 1045ae7f
View on Github →feat(GroupTheory/Congruence): simp lemmas for comap equivalences (#17195) add a few lemmas, mostly about when the underlying types are equal, so too must be the quotient
feat(GroupTheory/Congruence): simp lemmas for comap equivalences (#17195) add a few lemmas, mostly about when the underlying types are equal, so too must be the quotient