Metamath Proof Explorer


Table of Contents - 20.3.14.1. The norm on the ring of the integer numbers

  1. zringnm
  2. zzsnm