Def CategoryTheory.Subobject.widePullback

Modification history