mathlib3
e8713864 - feat(number_theory/cyclotomic/basic): add lemmas (#11264)

Commit

4 years ago

feat(number_theory/cyclotomic/basic): add lemmas (#11264) From flt-regular.

Author

riccardobrasca

riccardobrasca

Parents

Loading