Metamath Proof Explorer

Table of Contents - 21.51.13.3. Alternate definitions using the "modulo" operation

1. dfeven3
2. dfodd4
3. dfodd5
4. zefldiv2ALTV
5. zofldiv2ALTV
6. oddflALTV