Def CategoryTheory.Limits.Cocone.extensions

Modification history