OAI/Analysis/Conductivity/Variational/CentralCorrectedRepresentative.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.H1JetOn.value_cartesian line 17
2. lemma OAI.ScalarConductivity.centralFullJet_value_ae line 25
3. lemma OAI.ScalarConductivity.PhysicalFiniteEndingData.central_representative line 47
4. lemma OAI.ScalarConductivity.correctedEndValue_face line 84
5. lemma OAI.ScalarConductivity.correctedEndValue_band line 107
6. def OAI.ScalarConductivity.PhysicalFiniteEndingData.endRepresentative line 126
7. lemma OAI.ScalarConductivity.PhysicalFiniteEndingData.parent_open_time line 132
8. lemma OAI.ScalarConductivity.PhysicalFiniteEndingData.child_open_time line 134
9. lemma OAI.ScalarConductivity.PhysicalFiniteEndingData.endRepresentative_value line 137
10. lemma OAI.ScalarConductivity.PhysicalFiniteEndingData.endRepresentative_regular line 151