OAI/Analysis/Conductivity/Branching/PhysicalAttachedAssembly.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ScalarConductivity.physicalChildAttachedCorrection_supported line 12
2. def OAI.ScalarConductivity.physicalJet line 64
3. lemma OAI.ScalarConductivity.weak_jet_eq_iff line 66
4. lemma OAI.ScalarConductivity.weak_jet_zero_iff line 78
5. def OAI.ScalarConductivity.H1JetOn line 83
6. lemma OAI.ScalarConductivity.H1JetOn.mono line 86
7. lemma OAI.ScalarConductivity.H1JetOn.add line 91
8. lemma OAI.ScalarConductivity.H1JetOn.add_zero line 97
9. lemma OAI.ScalarConductivity.H1JetOn.zero_add line 101
10. lemma OAI.ScalarConductivity.H1JetOn.of_weak line 105
11. lemma OAI.ScalarConductivity.H1JetOn.zero_of_weak line 112