OAI/Geometry/HeilbronnTriangle/MonomialCount.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Problem355.Monomials.DegreeIndex line 10
  2. instance OAI.Problem355.Monomials.degreeIndexFintype line 13
  3. theorem OAI.Problem355.Monomials.card_degreeIndex line 17
  4. theorem OAI.Problem355.Monomials.card_three_groups line 22
  5. def OAI.Problem355.Monomials.degreeEquivFin line 28
  6. def OAI.Problem355.Monomials.coordinateDegreeEquivFin line 32
  7. def OAI.Problem355.Monomials.heilbronnMonomialEquiv line 39
  8. def OAI.Problem355.Monomials.heilbronnCoordinateMonomialEquiv line 43
  9. theorem OAI.Problem355.Monomials.card_heilbronn_triples line 47
  10. def OAI.Problem355.Monomials.heilbronnTripleEquiv line 53
  11. theorem OAI.Problem355.Monomials.card_increasing_triples line 58
  12. def OAI.Problem355.Monomials.heilbronnIncreasingTripleEquiv line 64
  13. abbrev OAI.Problem355.Monomials.IncreasingTriple line 67
  14. def OAI.Problem355.Monomials.increasingTripleEquivEmbedding line 70
  15. def OAI.Problem355.Monomials.heilbronnIncreasingTupleEquiv line 82
  16. theorem OAI.Problem355.Monomials.homogeneous_expansion line 85
  17. theorem OAI.Problem355.Monomials.homogeneous_expansion_fin line 110
  18. theorem OAI.Problem355.Monomials.homogeneous_eval_expansion line 123