Theorem isPiSystem_prod

Modification history