mathlib3
b2ec2b0c - chore(data/padics): fix bad markdown in doc string (#4068)

Commit

5 years ago

chore(data/padics): fix bad markdown in doc string (#4068) Just noticed this in the docs

References

Author

robertylewis

Parents