Def CategoryTheory.Limits.opCospan

Modification history