Theoremsadd, div, inv, mul, neg, of_add, of_mul, sub, add_closedBall, add_closedBall_zero, closedBall_add, closedBall_div, closedBall_mul, closedBall_one_div, closedBall_one_mul, closedBall_sub, closedBall_zero_add, closedBall_zero_sub, div_closedBall, div_closedBall_one, mul_closedBall, mul_closedBall_one, sub_closedBall, sub_closedBall_zero, add_ball, add_ball_zero, ball_add, ball_add_singleton, ball_add_zero, ball_div, ball_div_one, ball_div_singleton, ball_mul, ball_mul_one, ball_mul_singleton, ball_one_div_singleton, ball_one_mul_singleton, ball_sub, ball_sub_singleton, ball_sub_zero, ball_zero_add_singleton, ball_zero_sub_singleton, closedBall_add_singleton, closedBall_div_singleton, closedBall_mul_singleton, closedBall_one_div_singleton, closedBall_one_mul_singleton, closedBall_sub_singleton, closedBall_zero_add_singleton, closedBall_zero_sub_singleton, div_ball, div_ball_one, ediam_add_le, ediam_mul_le, infEDist_inv, infEDist_inv_inv, infEDist_neg, infEDist_neg_neg, infEdist_inv, infEdist_inv_inv, infEdist_neg, infEdist_neg_neg, inv_ball, inv_closedBall, inv_cthickening, inv_thickening, mul_ball, mul_ball_one, neg_ball, neg_closedBall, neg_cthickening, neg_thickening, singleton_add_ball, singleton_add_ball_zero, singleton_add_closedBall, singleton_add_closedBall_zero, singleton_div_ball, singleton_div_ball_one, singleton_div_closedBall, singleton_div_closedBall_one, singleton_mul_ball, singleton_mul_ball_one, singleton_mul_closedBall, singleton_mul_closedBall_one, singleton_sub_ball, singleton_sub_ball_zero, singleton_sub_closedBall, singleton_sub_closedBall_zero, smul_ball_one, smul_closedBall_one, sub_ball, sub_ball_zero, vadd_ball_zero, vadd_closedBall_zero | 94 |