Theorem CategoryTheory.monoidalPreadditive_of_faithful

Modification history