'LatticeGauge.BlockCovariance.cone_chain' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.BlockCovariance.cone_chain_uniform' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.BlockCovariance.growth_ledger' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.BlockCovariance.inverse_decay' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.BlockCovariance.face_sum_sq' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.BlockCovariance.four_split_quartic_floor' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.BlockCovariance.even_split_quartic' depends on axioms: [propext, Classical.choice, Quot.sound]
