Theorem ModuleCat.MonoidalCategory.tensor_id

Modification history