Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-11-21 11:25 72d7ae14

View on Github →

chore(counterexamples/cyclotomic_105): golf (#17652)

Estimated changes

deleted theorem prime_3
deleted theorem prime_5
deleted theorem prime_7