Repository navigation

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

Commits on Sep 4, 2026
- Import the Hopf problem formalization
  Vilin97
  committed
  eb79f1c
- Narrow Hopf problem tactic imports
  Vilin97
  committed
  bc6e898
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  12b4ab2
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  5630fb5
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  bce2a91
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  7069b00
- Credit sources of the six-sphere formalization
  Vilin97
  committed
  401d0fb
- Deduplicate six-sphere coordinates and arguments
  Vilin97
  committed
  b4a4801
Commits on Sep 5, 2026
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  ed74291
Commits on Sep 8, 2026
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  5ed205a
Commits on Sep 10, 2026
Commits on Sep 11, 2026
Commits on Sep 12, 2026
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  251f58e
Commits on Sep 13, 2026
Commits on Sep 14, 2026
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  a3e95db
Commits on Sep 16, 2026
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  2cee31b
Commits on Sep 17, 2026
Commits on Sep 18, 2026
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  4f28abb
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  bf8261a
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  304301c
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  62653ef
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  51e54a8
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  029a3fe
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  3692e93
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  806f140
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  13bce96
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  101bdd3
- Port HopfProblem to Mathlib v4.34.0 stable
  
  authored and
  Vilin97 automation
  committed
  fe3c100
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  3127eb9
Commits on Sep 19, 2026
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  70c83b8
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  ddcd945
Commits on Sep 20, 2026
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  ff7df9b
Commits on Sep 21, 2026
- Merge remote-tracking branch 'origin/main' into pr-392
  github-actions[bot]
  committed
  92f28f2
- Merge remote-tracking branch 'origin/main' into HEAD
  Vilin97
  committed
  6251f09
- Clarify the topological six-sphere identification
  Vilin97
  committed
  4c678f0

Commits

Commits on Sep 4, 2026

Commits on Sep 5, 2026

Commits on Sep 8, 2026

Commits on Sep 10, 2026

Commits on Sep 11, 2026

Commits on Sep 12, 2026

Commits on Sep 13, 2026

Commits on Sep 14, 2026

Commits on Sep 16, 2026

Commits on Sep 17, 2026

Commits on Sep 18, 2026

Commits on Sep 19, 2026

Commits on Sep 20, 2026

Commits on Sep 21, 2026