'LatticeGaugeHierarchicalShapeFlow.quarticStep_fixed' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeHierarchicalShapeFlow.quarticStep_iterate' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeHierarchicalShapeFlow.shapeStep_fixed' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeHierarchicalShapeFlow.shapeStep_contract' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeHierarchicalShapeFlow.shapeStep_ratio_le' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeHierarchicalShapeFlow.shapeStep_quartic' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeHierarchicalShapeFlow.sextic_fixed' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeHierarchicalShapeFlow.flow_coefficient' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeHierarchicalShapeFlow.affine_contraction' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeHierarchicalShapeFlow.tube_iterate' depends on axioms: [propext, Classical.choice, Quot.sound]
