Theorem Con.comap_conGen_of_bijective

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_of_bijectiveView on Github →