Metamath Proof Explorer

Table of Contents - 21.39.2. IMO Problems

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