Def CategoryTheory.Subobject.widePullbackι

Modification history