'ReflectionSupportScale.DependsOn.mono' does not depend on any axioms
'ReflectionSupportScale.dependsOn_comp' depends on axioms: [propext, Quot.sound]
'ReflectionSupportScale.dependsOn_positive_of_gap' depends on axioms: [propext, Classical.choice, Quot.sound]
'ReflectionSupportScale.dependsOn_reach_comp' depends on axioms: [propext, Classical.choice, Quot.sound]
'ReflectionSupportScale.exists_factor_of_dependsOn' depends on axioms: [propext, Classical.choice, Quot.sound]
'ReflectionSupportScale.reach_sum_le' depends on axioms: [propext, Classical.choice, Quot.sound]
'ReflectionSupportScale.reach_le_half_of_m0' depends on axioms: [propext, Classical.choice, Quot.sound]
'ReflectionSupportScale.reach_total_le_half' depends on axioms: [propext, Classical.choice, Quot.sound]
'ReflectionSupportScale.m0_examples' depends on axioms: [propext, Classical.choice, Quot.sound]
'ReflectionSupportScale.m0_zero_fails' depends on axioms: [propext, Classical.choice, Quot.sound]
'ReflectionSupportScale.coarse_rp_of_gap' depends on axioms: [propext, Classical.choice, Quot.sound]
'ReflectionSupportScale.coarse_rp_of_fine_support' depends on axioms: [propext, Classical.choice, Quot.sound]
'ReflectionSupportScale.rp_down' depends on axioms: [propext, Classical.choice, Quot.sound]
'ReflectionSupportScale.weak_uv_block_skeleton_cofinal' depends on axioms: [propext, Classical.choice, Quot.sound]
'ReflectionSupportScale.even_cofinal' depends on axioms: [propext, Quot.sound]
'ReflectionSupportScale.cofinal_of_all' depends on axioms: [propext, Classical.choice, Quot.sound]
