Fetching latest commit…
Cannot retrieve the latest commit at this time.
| Type | Name | Latest commit message | Commit time |
|---|---|---|---|
| .. | |||
| Failed to load latest commit information. | |||
|
default.lean | ||
|
|
hensel.lean | ||
|
|
padic_integers.lean | ||
|
|
padic_norm.lean | ||
|
|
padic_numbers.lean | ||