mathlib
3f1ac6c5 - doc(number_theory/cyclotomic/basic): fix docstrings (#11411)

Commit

4 years ago

doc(number_theory/cyclotomic/basic): fix docstrings (#11411)

Author

ericrbg

ericrbg

Parents

Loading