Theorem QPF.liftp_iff_of_isUniform

Modification history