Def NonUnitalRingHom.inverse

Modification history

2023-07-24 10:54

Mathlib/Algebra/Ring/Equiv.lean

feat(Algebra.Ring.Equiv) : provide RingHom inverse (#5997) …

Added NonUnitalRingHom.inverse View on Github →