Theorem CategoryTheory.Limits.BinaryBicone.toCocone_ι_app_right

Modification history