Theorem isOpen_pi_iff'

Modification history