Theorem CategoryTheory.CartesianMonoidalCategory.leftUnitor_inv_fst

Modification history