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

Just noticed this in the docs






leanprover-community/mathlib,leanprover-community/mathlib