'LatticeGauge.FluxNetwork.sum_pow_four_le' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.FluxNetwork.ratio_le_max' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.FluxNetwork.pow_four_sum_le' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.FluxNetwork.ratio_ge_of_unit_flux' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.FluxNetwork.energy_split' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.FluxNetwork.thomson_lower' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.FluxNetwork.thomson_attained' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.FluxNetwork.minimizer_unique' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.FluxNetwork.constraint_midpoint' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.FluxNetwork.quad_lower' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.FluxNetwork.chain_one_step' depends on axioms: [propext, Classical.choice, Quot.sound]
