Def CategoryTheory.Monoidal.transportedMonoidalUnitIso

Modification history