OAI/Analysis/HardSphere/Geometry/SharedIdentities.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.Comparison.ambientShared_map line 19
2. lemma OAI.HardSphere.Comparison.ambientFirst_updated line 38
3. lemma OAI.HardSphere.Comparison.ambientSecond_updated line 48
4. lemma OAI.HardSphere.Comparison.routeChecks_both line 60
5. lemma OAI.HardSphere.Comparison.ambient_proposalEvent line 91
6. lemma OAI.HardSphere.Comparison.ambientRefresh_constant line 103
7. lemma OAI.HardSphere.Comparison.ambient_two_primary_laws line 120