OAI/Analysis/Conductivity/Variational/VoltagePoincare.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.gradientVectorCLM_injective line 13
2. lemma OAI.ScalarConductivity.exists_gradientCoordinateConstant line 22
3. def OAI.ScalarConductivity.gradientCoordinateConstant line 30
4. lemma OAI.ScalarConductivity.gradientCoordinateConstant_bound line 32
5. lemma OAI.ScalarConductivity.compact_voltage_poincare line 36