Theorem summable_unop

Modification history