Theorem PresheafOfModules.pushforward_obj_map_apply'

Modification history