Def CategoryTheory.Subobject.wideCospan

Modification history