Def CategoryTheory.monoidalIso

Modification history