no goals
M : Type ?u.1451860
N : Type ?u.1451863
G : Type ?u.1451866
R : Type u_1
S : Type ?u.1451872
F : Type ?u.1451875
inst✝⁴ : CommMonoid M
inst✝³ : CommMonoid N
inst✝² : DivisionCommMonoid G
k : ℕ
inst✝¹ : CommRing R
inst✝ : IsDomain R
⊢ primitiveRoots 0 R = ∅
rw [primitiveRoots, nthRoots_zero, Multiset.toFinset_zero, Finset.filter_empty]