Theorem Con.hom_ext

Modification history

2025-07-08 16:55
Mathlib/GroupTheory/Congruence/Hom.lean
chore: add `Con.hom_ext` as alternative of `Con.lift_funext` (#26873)
Added Con.hom_extView on Github →