Theorem TopCat.Presheaf.pushforward_eq'

Modification history