Metamath Proof Explorer

Table of Contents - 5.4.12. Well-ordering principle for bounded-below sets of integers

1. uzwo3
2. zmin
3. zmax
4. zbtwnre
5. rebtwnz