Repository navigation

Some fixes before finalization - #8

Merged

doran2728 merged 10 commits into

May 10, 2026

Merged

Some fixes before finalization#8
doran2728 merged 10 commits into
masterfrom
fixes

Commits on May 9, 2026
- linter fix
  erdkocak
  committed
  5157a15
- requiredLength update
  erdkocak
  committed
  c110b82
- Generalize butterflyStage_eq_butterflyStageSpec
  erdkocak
  committed
  7ca939d
- Strengthen butterfly size lemmas to preserve input size
  erdkocak
  committed
  13c7ad5
- removed the unused private helper natDegree_toPoly_lt_of_trim_size_le
  erdkocak
  committed
  7106fab
- toPoly_mul simplification
  erdkocak
  committed
  fc29dda
- unused hj
  erdkocak
  committed
  6c6377f
- comment fix in the tests
  erdkocak
  committed
  f851f4c
- removed the transform-zero helper lemmas
  erdkocak
  committed
  5eeea35
- provide fitting domain docstring update
  erdkocak
  committed
  f1b1f53