Lines Matching refs:arith
37 (theorem `arith` `plus_0_2`);
38 (theorem `arith` `plus_1_2`);
39 (theorem `arith` `plus_2_2`);
40 (theorem `arith` `plus_3_2`);
41 (theorem `arith` `plus_0_10`);
42 (theorem `arith` `plus_1_10`);
43 (theorem `arith` `plus_2_10`);
44 (theorem `arith` `plus_3_10`);
45 (theorem `arith` `plus_4_10`);
46 (theorem `arith` `plus_5_10`);
47 (theorem `arith` `plus_6_10`);
48 (theorem `arith` `plus_7_10`)