'LatticeGaugeShapeRemainderUniform.uv_uniform' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeShapeRemainderUniform.stays_in_box' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeShapeRemainderUniform.pow_sub_pow_norm_le' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeShapeRemainderUniform.saddle_ratio_le' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeShapeRemainderUniform.saddle_ratio_three' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeShapeRemainderUniform.keff_half_le' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeShapeRemainderUniform.cov_eigen' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeShapeRemainderUniform.first_order_at_fixed_point' depends on axioms: [propext,
 Classical.choice,
 Quot.sound]
'LatticeGaugeShapeRemainderUniform.quadratic_shape_coefficient' depends on axioms: [propext,
 Classical.choice,
 Quot.sound]
