>>177
故丸山正樹先生がゼミでハートショーンを使うとき、
コホモロジー論のところだけはEGAを使っていた、と聞いた。