数学 コホモロジー泥沼 (特に dimension-shifting などが絡んだ) 同型射を明示的に書き下そうとするとかなり面倒類体論に気を取られすぎて、数論関係のプログラミングが止まっている。Corestriction map について、https://www.jmilne.org/math/CourseNotes/CFT.pdf の II.1.11 (Shapiro's lemma) のあたりを読んで、well-definedness は H^i(H, A) -> H^i(H, A) (ただし Z[H]-mod の projective resolution として ...-> Z[G^…