Theorem QPF.liftp_iff'

Modification history