OAI/Probability/InvariantIsing/Gaussian/MPAngularTransform.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Exact angular Stieltjes transform, with the MP zero atom retained.

  1. lemma OAI.InvariantIsing.mp_angular_partial_fraction line 11
  2. theorem OAI.InvariantIsing.mp_angular_transform line 22