Def category_theory.subobject.wide_pullback

Modification history