OAI/Analysis/AncientFlat/Evolution/PhysicalProfileBridge.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.FlatSimilarity.exp_similarity line 14
2. lemma OAI.FlatSimilarity.similarity_exp line 20
3. lemma OAI.FlatSimilarity.similarity_radius line 22
4. lemma OAI.FlatSimilarity.profile_physical_principal line 30
5. lemma OAI.FlatSimilarity.profile_physical_potential line 33
6. lemma OAI.FlatSimilarity.force_source_identity line 37
7. lemma OAI.FlatSimilarity.profile_radial line 50