'LatticeGauge.VertexClassWindow.pullback_le' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.VertexClassWindow.pullback_vertex_le' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.VertexClassWindow.two_component_step' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.VertexClassWindow.weight_choice' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.VertexClassWindow.tau_v_number' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.VertexClassWindow.tau_v_number_tau3' depends on axioms: [propext, Classical.choice, Quot.sound]
