Theorem CategoryTheory.Limits.biprod.associator_natural

Modification history