OAI/Probability/SKGap/Localization/TanhContDiff.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGapCutoff.tanh_contDiff line 166
2. lemma OAI.SKGapCutoff.parameter_refresh_contDiff line 171
3. lemma OAI.SKGapCutoff.parameter_preparation_contDiff line 188
4. lemma OAI.SKGapCutoff.parameter_preparationLaw_contDiff line 194
5. lemma OAI.SKGapCutoff.preparation_meanMap_contDiff line 205
6. lemma OAI.SKGapCutoff.lawBarycenter_inner line 219
7. theorem OAI.SKGapCutoff.preparation_meanMap_jacobian line 224
8. lemma OAI.SKGapCutoff.preparation_conorm_of_alignment line 259