Theorem CategoryTheory.Limits.hasFiniteCoproducts_of_opposite

Modification history