Theorem CategoryTheory.Limits.hasFiniteProducts_of_opposite

Modification history