Theorem Qpf.liftr_iff

Modification history