Metamath Proof Explorer


Table of Contents - 21.3.5.12. Decimal numbers

  1. dfdec100