Def CategoryTheory.Monoidal.transportedMonoidalCounitIso

Modification history