'LatticeGaugePrefactorFlowFixedPoint.step_k2' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugePrefactorFlowFixedPoint.step_k2_heat' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugePrefactorFlowFixedPoint.step_k2_fixed_iff' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugePrefactorFlowFixedPoint.step_k2_contract' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugePrefactorFlowFixedPoint.fixed_point_general' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugePrefactorFlowFixedPoint.fixed_point_k3' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugePrefactorFlowFixedPoint.fixed_point_k4' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugePrefactorFlowFixedPoint.half_sub_gamma_star' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugePrefactorFlowFixedPoint.transverse_hessian' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugePrefactorFlowFixedPoint.convolution_prefactor' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugePrefactorFlowFixedPoint.rem_shape_geometric' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugePrefactorFlowFixedPoint.ratio_coefficient' depends on axioms: [propext, Classical.choice, Quot.sound]
