OAI/Geometry/Perimeter/Regularity/GeoAlgebra.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.RPISingularHarnack.GeoBase.linear line 14
  2. theorem OAI.RPISingularHarnack.GeoBase.prodMk line 20
  3. theorem OAI.RPISingularHarnack.GeoC.linear line 25
  4. theorem OAI.RPISingularHarnack.GeoC.prodMk line 38
  5. theorem OAI.RPISingularHarnack.GeoC.add line 52
  6. theorem OAI.RPISingularHarnack.GeoC.neg line 57
  7. theorem OAI.RPISingularHarnack.GeoC.sub line 62
  8. theorem OAI.RPISingularHarnack.GeoC.bilinear line 67
  9. theorem OAI.RPISingularHarnack.GeoC.clm_apply line 91