import Papers

-- The paper's results: each must list no axiom beyond propext, Classical.choice and Quot.sound.
#print axioms Papers.OaiSharpThresholdMonotone.propertyQuantile_width_le
#print axioms Papers.OaiSharpThresholdMonotone.variance_le_log_sq_inv_mul_totalInfluence
#print axioms Papers.OaiSharpThresholdMonotone.sum_lowDegree_fourierCoeff_sq_le
#print axioms Papers.OaiSharpThresholdMonotone.restriction_mass_and_influence
#print axioms Papers.OaiSharpThresholdMonotone.block_average_lowDegree_mass_le
#print axioms Papers.OaiSharpThresholdMonotone.captured_lowDegree_mass_le