OAI/Analysis/Triangular/Energy/Basic.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.TriangularUniversal.Plane line 12

    Also declared: ComparatorChallenges/TriangularEnergy.lean:11 (same declaration text).

  2. def OAI.TriangularUniversal.LocallyFinite line 14

    Also declared: ComparatorChallenges/TriangularEnergy.lean:13 (same declaration text).

  3. def OAI.TriangularUniversal.diskPoints line 17

    Also declared: ComparatorChallenges/TriangularEnergy.lean:16 (same declaration text).

  4. def OAI.TriangularUniversal.diskCount line 20

    Also declared: ComparatorChallenges/TriangularEnergy.lean:19 (same declaration text).

  5. def OAI.TriangularUniversal.DensityOne line 22

    Also declared: ComparatorChallenges/TriangularEnergy.lean:21 (same declaration text).

  6. def OAI.TriangularUniversal.AdmissiblePotential line 26

    Also declared: ComparatorChallenges/TriangularEnergy.lean:25 (same declaration text).

  7. def OAI.TriangularUniversal.diskEnergy line 31

    Also declared: ComparatorChallenges/TriangularEnergy.lean:30 (same declaration text).

  8. def OAI.TriangularUniversal.energy line 36

    Also declared: ComparatorChallenges/TriangularEnergy.lean:35 (same declaration text).

  9. def OAI.TriangularUniversal.triangularPoint line 39
  10. def OAI.TriangularUniversal.triangularLattice line 44
  11. def OAI.TriangularUniversal.latticeEnergy line 46