Androma
Knowledge Base

Theorems

Proven results, with proofs, prerequisites, and citations.

Limiting Events Are Measurable

#4879
Statement
Description

Independence Through Rectangles

#4882
Statement
Description

Half-Line Test for Real Measurability

#4878
Statement
Description

Coercivity Under a Positive Zeroth Order Bound

#4868
Statement
Description

Comparison Principle

#4870
Statement
Description

Energy Estimate for Homogeneous Dirichlet Data

#4875
Statement
Description

Lax Milgram Solvability for Elliptic Operators

#4869
Statement
Description

Fredholm Alternative for Compactly Perturbed Elliptic Problems

#4877
Statement
Description

Interior H Two Regularity for the Laplacian

#4871
Statement
Description

De Giorgi Nash Moser Holder Regularity

#4873
Statement
Description
Showing 10 of 5023 theorems