Skip to content

[Merged by Bors] - feat(Topology/Covering): fundamental group of the circle is ℤ - #41856

Closed
Ruizsolveall wants to merge 10 commits into
leanprover-community:masterfrom
Ruizsolveall:feat/circle-pi1
Closed

[Merged by Bors] - feat(Topology/Covering): fundamental group of the circle is ℤ#41856
Ruizsolveall wants to merge 10 commits into
leanprover-community:masterfrom
Ruizsolveall:feat/circle-pi1

Commits

  1. Commits on Jul 17, 2026

  2. Commits on Sep 3, 2026

  3. Commits on Sep 7, 2026

  4. Commits on Sep 20, 2026

  5. Commits on Sep 21, 2026

  6. Commits on Sep 24, 2026