import Papers

-- The paper's results: each must list no axiom beyond propext, Classical.choice and Quot.sound.
#print axioms Papers.OaiLinearVarianceRandom.var_hittingTime_theta_n
#print axioms Papers.OaiLinearVarianceRandom.oneKillProb_two_rpow_le
#print axioms Papers.OaiLinearVarianceRandom.potential_drift
#print axioms Papers.OaiLinearVarianceRandom.variance_cappedTime_le_sum_delay_sq
#print axioms Papers.OaiLinearVarianceRandom.condProb_pivotal_le
#print axioms Papers.OaiLinearVarianceRandom.condExp_occupation_le
#print axioms Papers.OaiLinearVarianceRandom.condExp_pivotal_duration_le
#print axioms Papers.OaiLinearVarianceRandom.condExp_delay_sq_le
#print axioms Papers.OaiLinearVarianceRandom.incidence_moments_bound
#print axioms Papers.OaiLinearVarianceRandom.levelLocation_window_theta_sqrt