Theorem CategoryTheory.CartesianMonoidalCategory.leftUnitor_inv_snd

Modification history