OAI/Analysis/LaughlinGap/HighestRatios.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Highest Ratios.

  1. lemma OAI.LaughlinGap.Spin.highest_numerator_product line 14
  2. lemma OAI.LaughlinGap.Spin.highest_denominator_product line 26
  3. theorem OAI.LaughlinGap.Spin.highestWeight_factorial line 33
  4. lemma OAI.LaughlinGap.Spin.highestCoefficient_zero_ne line 40
  5. theorem OAI.LaughlinGap.Spin.highestCoefficient_ratio line 45
  6. lemma OAI.LaughlinGap.Spin.highestCoefficient_last line 56
  7. lemma OAI.LaughlinGap.Spin.highestCoefficient_penultimate line 62