Some edits were made
Added a proof of Serre duality
DS store ignored
Working?