Theorem Qpf.suppPreservation_iff_liftpPreservation

Modification history