OAI/Analysis/AncientFlat/Evolution/FiniteCoreScaling.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CompactCoreFinite.laplacian_mul line 9
2. lemma OAI.CompactCoreFinite.correction_mul line 14
3. lemma OAI.CompactCoreFinite.laplacian_sub line 16
4. lemma OAI.CompactCoreFinite.compact_expand line 21
5. lemma OAI.CompactCoreFinite.errorTwo_scaled line 28
6. lemma OAI.CompactCoreFinite.errorFour_scaled line 38
7. lemma OAI.CompactCoreFinite.flat_scaled line 43
8. theorem OAI.CompactCoreFinite.compact_scaled line 52