Theorem CategoryTheory.Limits.BinaryBicone.binary_cofan_inl_toCocone

Modification history