Metamath Proof Explorer


Table of Contents - 20.3.5.11. Decimal numbers

  1. dfdec100