Metamath Proof Explorer

Table of Contents - 9.1. Dual of an order structure

1. codu
2. df-odu
3. oduval
4. oduleval
5. oduleg
6. odubas