OAI/Analysis/Conductivity/Variational/PhysicalTestEnergy.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ScalarConductivity.physicalTestCovector line 12
  2. lemma OAI.ScalarConductivity.clm_eq_coordinate_dot line 15
  3. def OAI.ScalarConductivity.attachedFlatTestCovector line 26
  4. lemma OAI.ScalarConductivity.attachedFlatTestCovector_transport line 30
  5. lemma OAI.ScalarConductivity.physicalTestCovector_chain line 38
  6. theorem OAI.ScalarConductivity.attachedFlatTestCovector_chain line 55
  7. theorem OAI.ScalarConductivity.attachedCollarTensor_test_energy line 65
  8. lemma OAI.ScalarConductivity.sourceExtendedBox_open_ae line 100
  9. theorem OAI.ScalarConductivity.attachedCollarTensor_test_integral line 116