Theorem TopCat.Presheaf.pushforwardPullbackAdjunction_unit_pullback_map_germToPullbackStalk

Modification history