Theorem isOpen_pi_iff

Modification history