Theorem is_empty_pprod

Modification history