Androma
Knowledge Base

Theorems

Proven results, with proofs, prerequisites, and citations.

Maps Out of a Discrete Space Are Continuous

#4952
Statement
Description

Holomorphic Inverse Function Theorem

#4950
Statement
Description

Algebra of Holomorphic Functions

#4949
Statement
Description

Symbol Characterisation of Uniform Ellipticity

#4945
Statement
Description

Boundedness of the Elliptic Bilinear Form

#4948
Statement
Description

Schauder Interior Estimate

#4947
Statement
Description

Lax-Milgram Existence for Coercive Elliptic Problems

#4946
Statement
Description

Independence Is Preserved Under Complements

#4943
Statement
Description

Coordinate Projections on a Product Space Are Independent

#4942
Statement
Description

Characteristic Function of an Independent Sum

#4944
Statement
Description
Showing 10 of 5165 theorems