Theorem CategoryTheory.Subobject.pullback_comp

Modification history