Theorem CategoryTheory.Limits.biprod.braiding'_eq_braiding

Modification history