Def CategoryTheory.Limits.Cocone.op

Modification history