OAI/Analysis/Conductivity/Flux/PhysicalEndDifferential.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.physicalEndPoissonField_piece line 11
2. lemma OAI.ScalarConductivity.physicalEndPoissonField_local_eq line 21
3. lemma OAI.ScalarConductivity.sourceCollarInverse_point line 34
4. theorem OAI.ScalarConductivity.physicalEndPoissonField_hasFDeriv line 38
5. lemma OAI.ScalarConductivity.realCLM_apply_basis line 62
6. lemma OAI.ScalarConductivity.endFlatPoisson_realCLM_apply line 76
7. theorem OAI.ScalarConductivity.physicalEndPoisson_real_fderiv line 87