Def RingHom.inverse

Modification history

2023-07-24 10:54
Mathlib/Algebra/Ring/Equiv.lean
feat(Algebra.Ring.Equiv) : provide RingHom inverse (#5997) …
Added RingHom.inverseView on Github →