Theorem CategoryTheory.Limits.hasProducts_of_opposite

Modification history