"Definable Sets" edits #32

Merged
Mark merged 1 commits from ds into main 2026-03-30 19:21:28 -07:00

1 Commits

Author SHA1 Message Date
c4bf897469 "Definable Sets" edits
All checks were successful
CI / Typst formatting (pull_request) Successful in 6s
CI / Typos (pull_request) Successful in 12s
CI / Build (pull_request) Successful in 6m35s
2026-03-30 18:30:22 -07:00