Theorem CategoryTheory.Subobject.pullback_self

Modification history