Theorem TopCat.Presheaf.germToPullbackStalk_stalkPullbackHom

Modification history