Def RingHom.op

Modification history

2025-04-13 02:25

Mathlib/Algebra/Ring/Opposite.lean

chore(*): rename ring type variables (#23939) …

Modified RingHom.op View on Github →

2022-12-15 14:12

Mathlib/Algebra/Ring/Opposite.lean

feat port: algebra.ring.opposite (#977)

Added RingHom.op View on Github →