Theorem Cardinal.sum_const'

Modification history