Theorem isEmpty_pi

Modification history