Theorem Rep.MonoidalCategory.braiding_inv_apply

Modification history