Search results

Space Suggestion: Torus and Klein bottle

space

Status: Open.

#1770 In pi-base/data;

· felixpernegger opened on May 4, 2026

Theorems around CW complexes

theorem

Status: Open.

#1769 In pi-base/data;

· felixpernegger opened on May 1, 2026

Property Suggestion: Finite dimensional CW complex

property

Status: Open.

#1768 In pi-base/data;

· felixpernegger opened on May 1, 2026

Add quotient map preservation meta-properties to locally connected, locally path connected

property

Status: Open.

#1760 In pi-base/data;

· GeoffreySangston opened on Apr 27, 2026

Theorem Suggestion: Locally (half) one euclidean + topological n-manifold (with boundary) => CW complex

theorem

Status: Open.

#1759 In pi-base/data;

· felixpernegger opened on Apr 27, 2026

Theorem Suggestion: Has open path components + GO Space => Locally contractible

theorem

Status: Open.

#1757 In pi-base/data;

· felixpernegger opened on Apr 25, 2026

Space Suggestion: R^3

space

Status: Open.

#1755 In pi-base/data;

· felixpernegger opened on Apr 24, 2026

More Toronto theorems

theorem

Status: Open.

#1754 In pi-base/data;

· felixpernegger opened on Apr 22, 2026

Theorem Suggestion: A non totally path disconnected, locally inj pathconnected Toronto space if size c is inj path connected.

theorem

Status: Open.

#1753 In pi-base/data;

· felixpernegger opened on Apr 21, 2026

Theorem Suggestion: Large cofinite spaces are contractible and locally simply connected

theorem

Status: Open.

#1751 In pi-base/data;

· felixpernegger opened on Apr 21, 2026

Property Suggestion: Has a Euclidean space topology

property

Status: Open.

#1747 In pi-base/data;

· GeoffreySangston opened on Apr 17, 2026

Property Suggestion: Has a real TVS structure

property

Status: Open.

#1743 In pi-base/data;

· GeoffreySangston opened on Apr 15, 2026