Theorem closedBall_rpow_sub_one_eq_empty_aux

Modification history