Tải xuống Linnk AI
•
Trợ lý nghiên cứu
>
Đăng nhập
thông tin chi tiết
-
Formalizing the Computation of π4(S3)
Formalizing the Proof that the Fourth Homotopy Group of the 3-Sphere is Z/2Z in Cubical Agda
The fourth homotopy group of the 3-sphere, π4(S3), is isomorphic to Z/2Z.
1