Def RingHom.unop

Modification history

2025-04-13 02:25

Mathlib/Algebra/Ring/Opposite.lean

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

Modified RingHom.unop View on Github →

2022-12-15 14:12

Mathlib/Algebra/Ring/Opposite.lean

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

Added RingHom.unop View on Github →