OAI/Analysis/KadisonKastler/StripKernelMass.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The mass of the strip contour kernel

  1. theorem OAI.KadisonKastler.inverse_exp_sum line 14
  2. theorem OAI.KadisonKastler.integral_strip_real_kernel line 20
  3. theorem OAI.KadisonKastler.integral_stripAverageKernel_zero line 37