Def MonoidHom.postcompEquiv

Modification history

2026-02-15 14:33
Mathlib/Algebra/Group/Equiv/Basic.lean
chore: remove declarations deprecated between 2021-02-15 and 2025-08-15 (#35335) …
Deleted MonoidHom.postcompEquivView on Github →
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 →