Theorem CategoryTheory.Limits.Bicone.ι_of_isLimit

Modification history