OAI/Analysis/HardSphere/Allocation/PhysicalLifted.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. instance OAI.HardSphere.Groups.physicalSelectedOn_finite line 17
  2. def OAI.HardSphere.Groups.physicalOnChecks line 25
  3. def OAI.HardSphere.Groups.physicalOnPrimary line 33
  4. instance OAI.HardSphere.Groups.physicalOnPrimary_finite line 39
  5. def OAI.HardSphere.Groups.physicalSharedOn line 45
  6. theorem OAI.HardSphere.Groups.physicalSharedOn_map line 54