Theorem Con.comap_conGen_equiv

Modification history

2024-11-04 16:42
Mathlib/GroupTheory/Congruence/Basic.lean
feat(GroupTheory/Congruence): simp lemmas for comap equivalences (#17195) …
Added Con.comap_conGen_equivView on Github →