Theorem CategoryTheory.Limits.Concrete.to_product_injective_of_isLimit

Modification history