Androma
Knowledge Base

Theorems

Proven results, with proofs, prerequisites, and citations.

Coordinate Projections Are Product Measurable

#4927
Statement
Description

Separable Metric Borel Spaces Are Countably Generated

#4929
Statement
Description

Borel Generation in Metric Spaces

#4926
Statement
Description

Intersections of Sigma-Algebras

#4924
Statement
Description

Monotone Class Theorem

#4925
Statement
Description

Finite Sigma-Algebras Come from Partitions

#4930
Statement
Description

Compactness of the Identity

#4920
Statement
Description

Sequential Characterisation of Compact Operators

#4919
Statement
Description

Spectral Structure of Compact Operators

#4923
Statement
Description

Weak-to-Strong Criterion on Reflexive Spaces

#4922
Statement
Description
Showing 10 of 5165 theorems