The top documents tagged [kk yxknpproof]
X2 harder induction
809 views