Theorem CategoryTheory.Limits.inr_of_isLimit

Modification history