'LatticeGaugeFundAdjointRefit.refit_solution' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeFundAdjointRefit.refit_unique' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeFundAdjointRefit.rho_of_ratio' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeFundAdjointRefit.tree_quadratic_split' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeFundAdjointRefit.tree_value_at_saddle' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeFundAdjointRefit.image_rho' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeFundAdjointRefit.image_gap' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeFundAdjointRefit.image_one_loop_D' depends on axioms: [propext, Classical.choice, Quot.sound]
