Theorem CategoryTheory.CartesianMonoidalCategory.braiding_inv_fst

Modification history