Theorem TopCat.Presheaf.stalkSpecializes_stalkPushforward

Modification history