P
Initializing...
Strong-induction principle matching the Rhin-Viola Lemma 3 descent · Prove2Me