Metamath Proof Explorer

Table of Contents - 20.34.2. IMO Problems

1. IMO 1972 B2
   1. wwlemuld
   2. leeq1d
   3. leeq2d
   4. absmulrposd
   5. imadisjld
   6. imadisjlnd
   7. wnefimgd
   8. fco2d
   9. wfximgfd
   10. extoimad
   11. imo72b2lem0
   12. suprleubrd
   13. imo72b2lem2
   14. syldbl2
   15. suprlubrd
   16. imo72b2lem1
   17. lemuldiv3d
   18. lemuldiv4d
   19. rspcdvinvd
   20. imo72b2