Theorem TopCat.Presheaf.germ_stalkPullbackInv

Modification history