OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/CenteredGaussLabels.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

A concrete duplicate-free list of all eight Gauss labels in each cell of the centered rectangular grid, with the exact polynomial count.

  1. abbrev OAI.ContinuumCoulomb.CenteredGaussLabels.Radii line 13
  2. def OAI.ContinuumCoulomb.CenteredGaussLabels.integers line 15
  3. def OAI.ContinuumCoulomb.CenteredGaussLabels.signs line 17
  4. def OAI.ContinuumCoulomb.CenteredGaussLabels.cells line 19
  5. def OAI.ContinuumCoulomb.CenteredGaussLabels.labels line 21
  6. def OAI.ContinuumCoulomb.CenteredGaussLabels.radiiVector line 22
  7. theorem OAI.ContinuumCoulomb.CenteredGaussLabels.mem_integers line 24
  8. theorem OAI.ContinuumCoulomb.CenteredGaussLabels.integers_nodup line 33
  9. theorem OAI.ContinuumCoulomb.CenteredGaussLabels.signs_mem line 39
  10. theorem OAI.ContinuumCoulomb.CenteredGaussLabels.labels_nodup line 43
  11. theorem OAI.ContinuumCoulomb.CenteredGaussLabels.labels_length line 48
  12. theorem OAI.ContinuumCoulomb.CenteredGaussLabels.mem_labels line 54