Commit 2023-06-16 06:56 a1244a42

View on Github →

feat: port Counterexamples.Cyclotomic105 (#5117)

Estimated changes

Modified Counterexamples.lean

Created Counterexamples/Cyclotomic105.lean

added theorem Counterexample.coeff_cyclotomic_105

added theorem Counterexample.cyclotomic_105

added theorem Counterexample.cyclotomic_15

added theorem Counterexample.cyclotomic_21

added theorem Counterexample.cyclotomic_35

added theorem Counterexample.cyclotomic_3

added theorem Counterexample.cyclotomic_5

added theorem Counterexample.cyclotomic_7

added theorem Counterexample.not_forall_coeff_cyclotomic_neg_one_zero_one

added theorem Counterexample.properDivisors_105

added theorem Counterexample.properDivisors_15

added theorem Counterexample.properDivisors_21

added theorem Counterexample.properDivisors_35