Theorem CategoryTheory.Limits.Bicone.toCocone_ι_app_mk

Modification history