Theorem Counterexample.not_forall_coeff_cyclotomic_neg_one_zero_one

Modification history

2023-06-16 06:56
Counterexamples/Cyclotomic105.lean
feat: port Counterexamples.Cyclotomic105 (#5117)
Added Counterexample.not_forall_coeff_cyclotomic_neg_one_zero_oneView on Github →