Theorem TopCat.Presheaf.pullbackObj_eq_pullbackObj

Modification history