mathlib
83f40364 - feat(*/cyclotomic): update is_root_cyclotomic_iff to use ne_zero (#11071)

Commit

3 years ago

feat(*/cyclotomic): update is_root_cyclotomic_iff to use ne_zero (#11071) Co-authored-by: Johan Commelin <johan@commelin.net>

Author

ericrbg

Parents