A univalent formalization of the \(p\)-adic numbers (Q5740654)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6606940
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A univalent formalization of the \(p\)-adic numbers |
scientific article; zbMATH DE number 6606940 |
Statements
A univalent formalization of the <i>p</i>-adic numbers (English)
0 references
27 July 2016
0 references
0.7872844934463501
0 references
0.7438203692436218
0 references
