chore(NumberTheory/NumberField/Cyclotomic/Basic): remove all set_options from this file - #44045

chore(NumberTheory/NumberField/Cyclotomic/Basic): remove all set_options from this file#44045

Whysoserioushah wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

Whysoserioushah:edison/remove_setoptionWhysoserioushah/mathlib4:edison/remove_setoptionCopy head branch name to clipboard