Def Hom.mulEquivCongrRight

Modification history

2025-09-21 18:44
Mathlib/CategoryTheory/Monoidal/Cartesian/Mon_.lean
feat: isomorphic monoid objects have isomorphic hom monoids (#29830) …
Added Hom.mulEquivCongrRightView on Github →