contractible

pi-base · Jan 11, 2025 · e0738e7 · e0738e7
1 parent 21749b5
commit e0738e7
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/spaces/S000135/properties/P000199.md b/spaces/S000135/properties/P000199.md
@@ -0,0 +1,7 @@
+---
+space: S000135
+property: P000199
+value: true
+---
+
+The map $X\times[0,1] \ni (\vec x,t)\to (1-t)\vec x\in X$ is a homotopy between the identity and a constant.