P
Initializing...
Lemma 23: scalar power quotient estimate · Prove2Me