Theorem Cardinal.sum_lt_prod

Modification history