'CoarseStiffness.h_from_angle' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseStiffness.h_nonneg' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseStiffness.h_le_inv' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseStiffness.decomposition' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseStiffness.gamma_lower' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseStiffness.ratio_lower' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseStiffness.transpose_fix' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseStiffness.free_force_pairing' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseStiffness.free_ratio' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseStiffness.four_dim_ratio' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseStiffness.flux_tree_value' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseStiffness.flux_link_count' depends on axioms: [propext]
'CoarseStiffness.cs_four' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseStiffness.gamma_lower_direct' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseStiffness.gamma_min_level1_b28' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseStiffness.gamma_min_level2_b28' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseStiffness.gamma_min_level1_b54' depends on axioms: [propext, Classical.choice, Quot.sound]
'CoarseStiffness.rate_gap' depends on axioms: [propext, Classical.choice, Quot.sound]
