OAI/Analysis/Conductivity/Variational/SimpleLevelNull.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ScalarConductivity.simple_zeros_countable line 14
  2. lemma OAI.ScalarConductivity.simple_wall_zero_null line 33
  3. lemma OAI.ScalarConductivity.wallDerivative_boxPullback line 47
  4. lemma OAI.ScalarConductivity.simple_coord_zero_ae line 59
  5. def OAI.ScalarConductivity.pairMinor line 85
  6. lemma OAI.ScalarConductivity.pairMinor_rank line 89
  7. lemma OAI.ScalarConductivity.familySpatialDerivative_smooth line 111
  8. lemma OAI.ScalarConductivity.familyPairMinor_smooth line 118
  9. lemma OAI.ScalarConductivity.pairMinor_smooth line 126
  10. lemma OAI.ScalarConductivity.AngularPeriodic.pairMinor line 133
  11. lemma OAI.ScalarConductivity.regularRegion_ae_of_simple_minor line 139