Theorem QPF.suppPreservation_iff_uniform

Modification history