Theorem is_empty_plift

Modification history