OAI/Analysis/Conductivity/Variational/OriginalVoltageRestriction.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ScalarConductivity.originalVoltageValue line 13
2. def OAI.ScalarConductivity.originalVoltageGradient line 19
3. def OAI.ScalarConductivity.originalCartesianJetCLM line 25
4. def OAI.ScalarConductivity.originalVoltageJetCLM line 31
5. lemma OAI.ScalarConductivity.originalCartesianJetCLM_ae line 37
6. lemma OAI.ScalarConductivity.originalVoltageJetCLM_ae line 56
7. lemma OAI.ScalarConductivity.original_voltage_smooth_gradient line 74