OAI/Probability/ContinuumTransition/ShellGeometry.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.ContinuumTemperature.affineIndependent_of_sq_dist_close line 16
  2. theorem OAI.ContinuumTemperature.no_five_in_shell line 71
  3. def OAI.ContinuumTemperature.shellGraph line 103
  4. theorem OAI.ContinuumTemperature.shellGraph_cliqueFree line 110
  5. theorem OAI.ContinuumTemperature.shellGraph_edge_bound line 130
  6. theorem OAI.ContinuumTemperature.coreProfile_ge_of_not_shell line 140