mathlib3
7cc4eb9d - doc(number_theory/padics/*): typo in references (#12229)

Commit
4 years ago
doc(number_theory/padics/*): typo in references (#12229) Fix typos in a reference.
Author
Parents
Loading