feat(NumberTheory): the number-theoretic transform#41924

junjihashimoto wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

junjihashimoto:nttjunjihashimoto/mathlib4:nttCopy head branch name to clipboard