Theorem CategoryTheory.CartesianMonoidalCategory.braiding_inv_snd

Modification history