mathlib

db24ba7c - chore(number_theory/padics): stylistic changes (#15755)

chore(number_theory/padics): stylistic changes (#15755) Extracted stylistic changes (backticks, brackets, linebreaks, naming, spacing) from #15221 as suggested in the comments.