OAI/Analysis/Conductivity/Geometry/SmoothCollarTrace.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ScalarConductivity.smoothCollarTraceFourier line 17
2. lemma OAI.ScalarConductivity.smoothCollarTraceFourier_apply line 24
3. def OAI.ScalarConductivity.smoothCollarTrace line 30
4. lemma OAI.ScalarConductivity.smoothCollarTrace_fst line 35
5. lemma OAI.ScalarConductivity.smoothCollarTrace_rate_memℓp line 43
6. theorem OAI.ScalarConductivity.smoothCollarTrace_matched_H1 line 50