Theorem CategoryTheory.Limits.Bicone.toCocone_proj

Modification history