OAI/Geometry/Perimeter/Regularity/ActualFiberZerothMoment.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RPISingularHarnack.mollified_fiber_weighted_zeroth_moment line 13
2. theorem OAI.RPISingularHarnack.actual_fiber_signed_zeroth_moment line 40
3. theorem OAI.RPISingularHarnack.actual_fiber_zeroth_moment_error line 69