Theorem PresheafOfModules.pushforward_map_app_apply'

Modification history