Theorem Cardinal.sum_lt_lift_of_isRegular

Modification history