Def CategoryTheory.Limits.BinaryBicone.toCocone

Modification history