mathlib

b4b816c9 - feat(number_theory/cyclotomic/primitive_roots): generalize finrank lemma (#14550)

feat(number_theory/cyclotomic/primitive_roots): generalize finrank lemma (#14550) We generalize certain results from fields to domains. Co-authored-by: Eric Rodriguez <ericrboidi@gmail.com>