Theorem CategoryTheory.Limits.Bicone.toCone_proj

Modification history