Theorem Qpf.liftp_iff

Modification history