Theorem CategoryTheory.Limits.biprod.symmetry'

Modification history