'LatticeGauge.AveragedBlockFlow.affine_iter' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.AveragedBlockFlow.affine_dist' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.AveragedBlockFlow.tail_sum' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.AveragedBlockFlow.tail_bound' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.AveragedBlockFlow.axis_flow_closed' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.AveragedBlockFlow.axis_flow_values' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.AveragedBlockFlow.cone_series' depends on axioms: [propext, Classical.choice, Quot.sound]
