Theorem TopCat.Presheaf.pushforwardEq_rfl

Modification history