Theorem summable_of_isEquivalent_nat

Modification history