Theorem is_empty_or_nonempty

Modification history