Theorem CategoryTheory.Limits.Bicone.toCocone_ι_app

Modification history