Theorem TopCat.Presheaf.stalkPushforward_germ

Modification history