Def OneHom.inverse
Modification history
2025-07-25 19:00
Mathlib/Algebra/Group/Hom/Defs.lean
chore: fix indentation of subsequent declaration lines (#27478) …
Modified OneHom.inverseView on Github →2024-11-22 09:37
Mathlib/Algebra/Group/Equiv/Basic.lean
chore: move def MonoidHom.inverse to earlier defs file (#19348) …
Modified OneHom.inverseView on Github →