'EvenDifferenceCoupling.c_upper' depends on axioms: [propext, Classical.choice, Quot.sound]
'EvenDifferenceCoupling.c_lower' depends on axioms: [propext, Classical.choice, Quot.sound]
'EvenDifferenceCoupling.triangle_coefficient_blows_up' depends on axioms: [propext, Classical.choice, Quot.sound]
'EvenDifferenceCoupling.triangle_coefficient_at_tenth' depends on axioms: [propext, Classical.choice, Quot.sound]
'EvenDifferenceCoupling.even_series_bound' depends on axioms: [propext, Classical.choice, Quot.sound]
'EvenDifferenceCoupling.coupling_uniform' depends on axioms: [propext, Classical.choice, Quot.sound]
'EvenDifferenceCoupling.kernel_constant_scale' depends on axioms: [propext, Classical.choice, Quot.sound]
'EvenDifferenceCoupling.window_scale' depends on axioms: [propext, Classical.choice, Quot.sound]
