Theorem CategoryTheory.Limits.biprod.associator_inv_natural

Modification history