Theorem CategoryTheory.Limits.BinaryBicone.toCone_π_app_right

Modification history