This commit is contained in:
Trance-0
2026-03-01 18:28:26 -06:00
parent 80987da732
commit 212d70ff0e
5 changed files with 180 additions and 2 deletions

View File

@@ -4,7 +4,6 @@
### Path homotopy
#### Theorem for properties of product of paths
1. If $f\simeq_p f_1, g\simeq_p g_1$, then $f*g\simeq_p f_1*g_1$. (Product is well-defined)