'LatticeGaugeFourPlaquetteChain.sum_pair_reindex' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeFourPlaquetteChain.four_plaquette_weight' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeFourPlaquetteChain.four_plaquette_constrained' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeFourPlaquetteChain.tree_identity_four' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeFourPlaquetteChain.tree_lower_four' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeFourPlaquetteChain.tree_attained_four' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeFourPlaquetteChain.shape_four' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeFourPlaquetteChain.tree_identity_three' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeFourPlaquetteChain.shape_three' depends on axioms: [propext, Classical.choice, Quot.sound]
