Theorem QPF.liftr_iff

Modification history