'WeightRecursion.weight_step' depends on axioms: [propext, Classical.choice, Quot.sound]
'WeightRecursion.weight_step_plain' depends on axioms: [propext, Classical.choice, Quot.sound]
'WeightRecursion.image_card_boundary' depends on axioms: [propext, Classical.choice, Quot.sound]
'WeightRecursion.image_card_boundary_real' depends on axioms: [propext, Classical.choice, Quot.sound]
'WeightRecursion.weight_step_sets' depends on axioms: [propext, Classical.choice, Quot.sound]
'WeightRecursion.contraction_of_gap' depends on axioms: [propext, Classical.choice, Quot.sound]
'WeightRecursion.all_steps' depends on axioms: [propext, Classical.choice, Quot.sound]
'WeightRecursion.stationary_schedule' depends on axioms: [propext, Classical.choice, Quot.sound]
'WeightRecursion.stationary_boundary_coeff' depends on axioms: [propext, Classical.choice, Quot.sound]
'WeightRecursion.stationary_all_steps' depends on axioms: [propext, Classical.choice, Quot.sound]
'WeightRecursion.boundary_coeff_decreases' depends on axioms: [propext, Classical.choice, Quot.sound]
'WeightRecursion.no_schedule_of_delta_ge_one' depends on axioms: [propext, Classical.choice, Quot.sound]
'WeightRecursion.gap_le_volume_coeff' depends on axioms: [propext, Classical.choice, Quot.sound]
'WeightRecursion.all_steps_supply' depends on axioms: [propext, Classical.choice, Quot.sound]
'WeightRecursion.stationary_schedule_supply' depends on axioms: [propext, Classical.choice, Quot.sound]
