P
Initializing...
Dwork's lemma: a Frobenius lift gives a section R → W(R) · Prove2Me