Skip to content

feat: weighted geometric sums at a primitive root of unity - #1669

Closed
naype888-cloud wants to merge 1 commit into
leanprover-community:masterfrom
naype888-cloud:feat-physlibalpha-pr-root-sums
Closed

feat: weighted geometric sums at a primitive root of unity#1669
naype888-cloud wants to merge 1 commit into
leanprover-community:masterfrom
naype888-cloud:feat-physlibalpha-pr-root-sums

Commits

Commits on Sep 20, 2026