Skip to content

feat: ordinal powers of a field form a basis for nimbers - #348

Open
vihdzp wants to merge 13 commits into
masterfrom
addmonoidalg
Open

feat: ordinal powers of a field form a basis for nimbers#348
vihdzp wants to merge 13 commits into
masterfrom
addmonoidalg

Commits

Commits on Mar 5, 2026

  • there goes

    vihdzpvihdzp
    committed
    d68bdbf

  • there

    vihdzpvihdzp
    committed
    f125b3a

  • finish

    vihdzpvihdzp
    committed
    9e57269

  • is this going to work now

    vihdzpvihdzp
    committed
    9cc119e

  • tweak

    vihdzpvihdzp
    committed
    306f1cd

  • fix

    vihdzpvihdzp
    committed
    8d20d0e

  • fix?

    vihdzpvihdzp
    committed
    fd0cbb8

  • fix names

    vihdzpvihdzp
    committed
    b72aaf2

  • golf

    vihdzpvihdzp
    committed
    ca284b7

Commits on Mar 6, 2026

Commits on Mar 8, 2026

Commits on Mar 12, 2026