OAI/Analysis/HardSphere/Thermodynamics/PhysicalRescaleDomain.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.Rescaling.coord_pull line 15
2. lemma OAI.HardSphere.Rescaling.pulled_memLp line 36
3. def OAI.HardSphere.Rescaling.smoothPull line 41
4. lemma OAI.HardSphere.Rescaling.smoothPull_jet line 67
5. lemma OAI.HardSphere.Rescaling.jet_domain line 93
6. theorem OAI.HardSphere.Rescaling.jet_ground line 99
7. def OAI.HardSphere.Rescaling.torusHomeo line 128
8. lemma OAI.HardSphere.Rescaling.torus_preserving line 130
9. lemma OAI.HardSphere.Rescaling.config_cons line 144
10. lemma OAI.HardSphere.Rescaling.pull_occupation_succ line 149
11. lemma OAI.HardSphere.Rescaling.pull_occupation line 186