Algebraic Closure and Composite Chord Symmetry of the Regular Nonagon via Cyclotomic Polynomial Resultants in Lean 4 with Comparator.
Lean Updated about 1 month ago 1 commits 1 stars
nova-coder|Mirror: AEjonanonymous/Nonagonal-Cyclotomic-Resultants (⭐1)
about 1 month agoAbout
Algebraic Closure and Composite Chord Symmetry of the Regular Nonagon via Cyclotomic Polynomial Resultants in Lean 4 with Comparator.
Readme
1 stars