Theorem CategoryTheory.Limits.biprod.braid_natural

Modification history