Theorem summable_indicator_mod_iff

Modification history