Theorem CategoryTheory.ChosenFiniteProducts.braiding_inv_fst

Modification history