Theorem is_empty_pi

Modification history