OAI/Geometry/Perimeter/Regularity/EllipticLocality.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RPISingularHarnack.gradient_eqOn line 11
2. theorem OAI.RPISingularHarnack.fderiv_eqOn line 18
3. theorem OAI.RPISingularHarnack.flux_pairing_eq line 24
4. theorem OAI.RPISingularHarnack.WeakFluxEquation.congr line 33
5. theorem OAI.RPISingularHarnack.WeakLinearEquation.congr line 39
6. theorem OAI.RPISingularHarnack.compact_continuous_bound line 50
7. theorem OAI.RPISingularHarnack.local_compact_triple line 60