Theorem Con.congr_symm

Modification history

2026-06-19 19:19
Mathlib/GroupTheory/Congruence/Basic.lean
refactor: make `{Con,AddCon,RingCon}.congr` match `Quotient.congr` (#40819) …
Added Con.congr_symmView on Github →