Prove Global section and pushforward are left exact functors

Loading comments...