Metamath Proof Explorer

Table of Contents - 21.3.5.9. The greatest common divisor operator - misc. additions

1. znumd
2. zdend
3. numdenneg
4. divnumden2
5. expgt0b