Skip to content

WIP: Import Local and global class field theory - #506

Open
Vilin97 wants to merge 141 commits into
mainfrom
codex/import42-classfieldtheory
Open

Vilin97 wants to merge 141 commits into
mainfrom
codex/import42-classfieldtheory

Commits

  1. Commits on Sep 21, 2026

  2. Commits on Sep 22, 2026

  3. Commits on Sep 23, 2026

  4. Commits on Sep 24, 2026

  5. Commits on Sep 25, 2026

  6. Commits on Sep 26, 2026

  7. Commits on Sep 27, 2026

  8. Commits on Sep 28, 2026

  9. Commits on Sep 29, 2026

  10. Commits on Sep 30, 2026

  11. Commits on Oct 1, 2026

  12. Commits on Oct 2, 2026

  13. Commits on Oct 3, 2026

  14. Commits on Oct 4, 2026

  15. Commits on Oct 5, 2026

  16. Commits on Oct 6, 2026

  17. Commits on Oct 7, 2026

  18. Commits on Oct 8, 2026