OAI/RepresentationTheory/PartialPermutation/TableauWeights.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.PartialPermutation.TableauZeta.inverse_tableau_bound line 15
  2. def OAI.PartialPermutation.TableauZeta.majorant line 32
  3. lemma OAI.PartialPermutation.TableauZeta.summable_majorant line 35
  4. def OAI.PartialPermutation.TableauZeta.inverseWeight line 52
  5. def OAI.PartialPermutation.TableauZeta.deficitTerm line 55
  6. def OAI.PartialPermutation.TableauZeta.nontrivialSum line 58
  7. def OAI.PartialPermutation.TableauZeta.fullSum line 61
  8. lemma OAI.PartialPermutation.TableauZeta.inverseWeight_nonneg line 64
  9. lemma OAI.PartialPermutation.TableauZeta.deficitTerm_nonneg line 68
  10. lemma OAI.PartialPermutation.TableauZeta.deficitTerm_bound line 71