'CoarseFirstOrder.ratio_lower' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseFirstOrder.gamma_min_lower' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseFirstOrder.first_order' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseFirstOrder.threshold' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseFirstOrder.ledger_c' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseFirstOrder.ledger_threshold' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseFirstOrder.ledger_at_28' depends on axioms: [propext, Classical.choice, Quot.sound]
