Theorem CategoryTheory.Limits.BinaryBicone.toCocone_ι_app_left

Modification history