Androma
Knowledge Base

Theorems

Proven results, with proofs, prerequisites, and citations.

Maps Out of a Discrete Space Are Continuous

#4952
Statement
Description

Interior Is the Largest Open Subset

#4954
Statement
Description

Composition of Continuous Maps

#4960
Statement
Description

Permanence of Closed Sets

#4951
Statement
Description

Basis Generates a Topology

#4959
Statement
Description

Closure Is the Smallest Closed Superset

#4956
Statement
Description

Holomorphic Inverse Function Theorem

#4950
Statement
Description

Algebra of Holomorphic Functions

#4949
Statement
Description

Symbol Characterisation of Uniform Ellipticity

#4945
Statement
Description

Lax-Milgram Existence for Coercive Elliptic Problems

#4946
Statement
Description
Showing 10 of 4830 theorems