Theorem CategoryTheory.Subobject.inf_pullback

Modification history