Skip to content

feat: natural multiplication is closed below ω^ω^x - #360

Open
vihdzp wants to merge 12 commits into
masterfrom
natring2
Open

feat: natural multiplication is closed below ω^ω^x#360
vihdzp wants to merge 12 commits into
masterfrom
natring2

Commits

Commits on Mar 13, 2026

Commits on Mar 16, 2026

Commits on May 28, 2026