Theorem QPF.liftpPreservation_iff_uniform

Modification history