The top documents tagged [kkknp proof]
X2 harder induction
809 views