OAI/Geometry/NodalSets/Elliptic/FiniteLinearity.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Yau.Geometry.coordPartial_finite_sum line 12
  2. lemma OAI.Yau.Geometry.coordPartial_real_projection line 19
  3. lemma OAI.Yau.Geometry.sourceFlux_finite_sum line 28
  4. lemma OAI.Yau.Geometry.sourceFlux_const_mul line 36
  5. lemma OAI.Yau.Geometry.sourceFlux_real_projection line 46
  6. lemma OAI.Yau.Geometry.sourceWeightedOperator_finite_sum line 53
  7. lemma OAI.Yau.Geometry.sourceWeightedOperator_const_mul line 64
  8. lemma OAI.Yau.Geometry.sourceWeightedOperator_real_projection line 76
  9. theorem OAI.Yau.Geometry.gaussianWaveField_source_residual line 86