Def padic_seq
Modification history
2020-10-08 15:41
src/data/padics/padic_numbers.lean
chore(data/padics/*): linting + squeeze_simp speedup (#4531)
Modified padic_seqView on Github →2020-04-25 19:55
src/data/padics/padic_numbers.lean
refactor(data/padics/*): use [fact p.prime] to assume that p is prime (#2519)
Modified padic_seqView on Github →