'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]
'BlockBoundaryCount.coarse_boundary_le_deg' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.pair_inner' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.pair_volume' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.pair_mix' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.nn_total' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.star_total' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.nn_L2' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.nn_L4' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.star_L2' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.star_L4' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.gamma_lower' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.no_stationary' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.four_cases_pq' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.supply_lower' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.supply_achieved' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.volume_needed' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.per_block_reading_fails' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.supply_nn_L2' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.supply_nn_L4' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.supply_star_L2' depends on axioms: [propext, Classical.choice, Quot.sound]
'BlockBoundaryCount.supply_star_L4' depends on axioms: [propext, Classical.choice, Quot.sound]
