Theorem is_empty_psigma

Modification history