Skip to content

Import the Hopf problem formalization - #392

Merged
Vilin97 merged 56 commits into
mainfrom
codex/import-hopf-problem-s6-2026-09-04
Sep 21, 2026
Merged

Import the Hopf problem formalization#392
Vilin97 merged 56 commits into
mainfrom
codex/import-hopf-problem-s6-2026-09-04

Clarify the topological six-sphere identification

4c678f0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar