OAI/RepresentationTheory/FoulkesSixth/RangeReduction.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Foulkes.SixthPowerComparison line 14
  2. def OAI.Foulkes.normalizedAverage line 23
  3. abbrev OAI.Foulkes.PolynomialModel.P line 30
  4. def OAI.Foulkes.PolynomialModel.rowWeight line 32
  5. def OAI.Foulkes.PolynomialModel.W line 35
  6. def OAI.Foulkes.PolynomialModel.rowInvariants line 38
  7. def OAI.Foulkes.PolynomialModel.R line 47
  8. def OAI.Foulkes.PolynomialModel.A line 50
  9. def OAI.Foulkes.PolynomialModel.AComponent line 53
  10. def OAI.Foulkes.PolynomialModel.IndependentChartBound line 56
  11. theorem OAI.Foulkes.independent_chart line 60
  12. theorem OAI.Foulkes.sixth_equal line 64
  13. def OAI.Foulkes.FiniteSixthPowerComparison line 70
  14. theorem OAI.Foulkes.full_iff_finite line 79
  15. def OAI.Foulkes.BaseSixthPowerComparison line 91
  16. theorem OAI.Foulkes.full_iff_base line 100