Theorem isPiSystem_pi

Modification history