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

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

feat: weighted geometric sums at a primitive root of unity

683e05c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
Comment a pull_request
succeeded Sep 20, 2026 in 32s