mathlib
5a6a67fc
- fix(data/padics): misstated lemma (#1718)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 years ago
fix(data/padics): misstated lemma (#1718)
References
#1718 - fix(data/padics): misstated lemma
Author
robertylewis
Committer
mergify[bot]
Parents
0744a3a9
Loading