Source-pinned research
Search theorem names, mathematical ideas, modules, topics, projects, and role-labelled researchers. Open a result for its complete indexed Lean declaration and source record.
This index contains 3 research declarations. Search 10,000 more complete Mathlib declarations.
3 results
Clear filtersDeGiorgi.essSup_halfBall_le_of_ae_bound
Plain-language statement
An a.e. upper bound on the half ball upgrades to an essential-supremum bound on the half ball.
Source project: DeGiorgi
Person-level attribution pending.
DeGiorgi.harnack
Plain-language statement
Positive weak solutions satisfy Harnack on the unit ball.
Source project: DeGiorgi
Person-level attribution pending.
DeGiorgi.le_essInf_halfBall_of_ae_bound
Plain-language statement
An a.e. lower bound on the half ball upgrades to an essential-infimum bound on the half ball.
Source project: DeGiorgi
Person-level attribution pending.