Theorem QPF.liftp_iff

Modification history