Theorem Cardinal.sum_lt_of_isRegular

Modification history