Theorem CategoryTheory.CartesianMonoidalCategory.rightUnitor_inv_snd

Modification history