Theorem RingHom.ext_iff

Modification history

2024-07-31 09:27

Mathlib/Algebra/Ring/Hom/Defs.lean

chore: improve some ext_iff lemmas (#15340) …

Deleted RingHom.ext_iff View on Github →

2022-12-13 11:06

Mathlib/Algebra/Hom/Ring.lean

feat: Port `Algebra.Hom.Ring` (#958) …

Added RingHom.ext_iff View on Github →