Def MonoidHom.postcompEquiv

Modification history

2025-01-07 04:59
Mathlib/Algebra/Group/Equiv/Basic.lean
chore(Algebra/Category/MonCat/ForgetCorepresentable, Algebra/Group/Equiv/Basic): move definitions and add symmetric version (#20416) …
Added MonoidHom.postcompEquivView on Github →