Theorem CategoryTheory.MonoidalCategory.id_tensor_comp

Modification history