Theorem CategoryTheory.Limits.Bicone.toCone_π_app_mk

Modification history