P
Initializing...
Shao's Proposition 3.1: the induction away from 3 and 5 · Prove2Me