Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Real and Complex Numbers
Decimal numbers
Next ⟩
dfdec100
Metamath Proof Explorer
Unicode
Structured
Table of Contents - 21.3.5.12. Decimal numbers
dfdec100