Theorem Cardinal.lift_sum

Modification history