Theorem RingCon.congrₐ_symm

Modification history

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