Theorem Counterexample.coeff_cyclotomic_105

Modification history

2026-11-02 08:15
Counterexamples/Cyclotomic105.lean
refactor(Algebra/Polynomial): make into an `abbrev` of `AddMonoidAlgebra` (#41981) …
Modified Counterexample.coeff_cyclotomic_105View on Github →
2023-06-16 06:56
Counterexamples/Cyclotomic105.lean
feat: port Counterexamples.Cyclotomic105 (#5117)
Added Counterexample.coeff_cyclotomic_105View on Github →