Theorem CategoryTheory.Limits.biprod.braiding_map_braiding

Modification history