import Papers

-- The paper's results: each must list no axiom beyond propext, Classical.choice and Quot.sound.
#print axioms OaiCapacityCriterionState.reconstructs_iff_capacity_pos
#print axioms OaiCapacityCriterionState.exists_flow_of_labels
#print axioms OaiCapacityCriterionState.local_moment_bounds