Theorem CategoryTheory.CartesianMonoidalCategory.braiding_hom_fst

Modification history