Theorem CoalgCat.MonoidalCategoryAux.counit_tensorObj_tensorObj_left

Modification history