Def CategoryTheory.monoidalOfChosenFiniteProducts

Modification history