Theorem is_empty_psum

Modification history