P
Initializing...
Shapiro bijectivity for H¹(G,Hom(R,Coind Y)) · Prove2Me