OAI/Analysis/Conductivity/Variational/CentralLocalAgreement.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.centralInteriorCompletion_smooth_ae line 18
2. lemma OAI.ScalarConductivity.parentCompletionJoin_smooth_central line 40
3. lemma OAI.ScalarConductivity.physicalChildCompletionJoin_smooth_central line 56
4. lemma OAI.ScalarConductivity.centralPhysical_ae_interior line 98
5. lemma OAI.ScalarConductivity.centralPhysical_ball_ae_interior line 110
6. def OAI.ScalarConductivity.centralNeighborhoodRawCLM line 120
7. lemma OAI.ScalarConductivity.centralNeighborhoodCompletion_val line 128
8. def OAI.ScalarConductivity.centralFullJetCLM line 134
9. lemma OAI.ScalarConductivity.centralFullJetCLM_smooth_ae line 138
10. lemma OAI.ScalarConductivity.centralNeighborhoodRawCLM_smooth_ae line 159