'LatticeGaugeHeatKernelFourPlaquette.conv_assoc' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeHeatKernelFourPlaquette.conv_delta_left' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeHeatKernelFourPlaquette.conv_delta_right' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeHeatKernelFourPlaquette.convPow_add' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeHeatKernelFourPlaquette.convPow_two_mul' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeHeatKernelFourPlaquette.sum_pair_reindex' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGaugeHeatKernelFourPlaquette.four_plaquette_of_semigroup' depends on axioms: [propext,
 Classical.choice,
 Quot.sound]
'LatticeGaugeHeatKernelFourPlaquette.four_plaquette_convPow' depends on axioms: [propext, Classical.choice, Quot.sound]
