Theorem TopCat.Presheaf.Pushforward.comp_eq

Modification history