Theorem CategoryTheory.CartesianMonoidalCategory.rightUnitor_inv_fst

Modification history