Theorem TopCat.Presheaf.pushforwardEq_eq

Modification history