OAI/Analysis/AncientFlat/Profile/SphereScaling.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CompactCore.laplacian_mul line 8
2. lemma OAI.CompactCore.correction_mul line 13
3. lemma OAI.CompactCore.laplacian_sub line 15
4. lemma OAI.CompactCore.compact_expand line 20
5. lemma OAI.CompactCore.errorTwo_scaled line 27
6. lemma OAI.CompactCore.errorFour_scaled line 36
7. lemma OAI.CompactCore.flat_scaled line 40
8. theorem OAI.CompactCore.compact_scaled line 48