Theorem uniformity_sum_of_isOpen_aux

Modification history