OAI/Geometry/Perimeter/Regularity/EllipticCaccioppoliAlgebra.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RPISingularHarnack.near_identity_bounds line 11
2. theorem OAI.RPISingularHarnack.caccioppoli_scalar line 25
3. theorem OAI.RPISingularHarnack.caccioppoli_pointwise line 30
4. theorem OAI.RPISingularHarnack.gradient_mul_C1 line 67
5. theorem OAI.RPISingularHarnack.gradient_square_test line 73