Theorem CategoryTheory.Limits.Bicone.toCocone_pt

Modification history