Theorem CategoryTheory.CartesianMonoidalCategory.braiding_hom_snd

Modification history