Androma
Knowledge Base

Theorems

Proven results, with proofs, prerequisites, and citations.

No Ricci-flat Metric on Sphere Times R in Low Dimensions

#2772
Statement

Structure of Compact Manifolds with Nonneg Ricci

#2771
Statement

Universal Cover of Compact Manifold with Nonneg Ricci

#2770
Statement

Non-compact Universal Cover Contains a Line

#2769
Statement

Maximal Euclidean Factor

#2768
Statement

Cheeger–Gromoll Line-Splitting Theorem

#2767
Statement

Disconnected at Infinity Implies a Line

#2766
Statement

Holonomy Decomposition of De Rham Cohomology

#2765
Statement

Fundamental Principle of Riemannian Holonomy

#2764
Statement

Restricted Holonomy Lies in SO(n)

#2763
Statement
Showing 10 of 123 theorems