mathlib3
6319a238 - feat(number_theory/cyclotomic): simplify `ne_zero`s (#11715)

Commit

4 years ago

feat(number_theory/cyclotomic): simplify `ne_zero`s (#11715) For flt-regular.

Author

ericrbg

ericrbg

Parents

Loading