P
Initializing...
Shapiro's lemma for H¹ with ramification restricted to S · Prove2Me