Theorem TopCat.Presheaf.pushforwardPullbackAdjunction_unit_app_app_germToPullbackStalk

Modification history