OAI/Analysis/AncientFlat/Evolution/WeakToStrong.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TestSeparation.integrable_pair line 14
2. lemma OAI.TestSeparation.norm_pair_le line 23
3. def OAI.TestSeparation.pairCLM line 33
4. lemma OAI.TestSeparation.pairCLM_apply line 49
5. lemma OAI.TestSeparation.eq_zero_of_tests line 52
6. lemma OAI.TestSeparation.eq_of_tests line 60
7. lemma OAI.TestSeparation.integral_eq_sub_of_weak_derivative line 69
8. lemma OAI.TestSeparation.hasDerivAt_of_weak_derivative line 85