Metamath Proof Explorer

Table of Contents - 21.48.4. Scratchpad for math on real numbers

1. squeezedltsq
2. sqrtnnaa
3. sqrtnzqaa
4. sqrtqaa
5. nthrucw
6. sin3t
7. cos3t
8. sin5tlem1
9. sin5tlem2
10. sin5tlem3
11. sin5tlem4
12. sin5tlem5
13. sin5t
14. cos5t
15. cos5teq
16. goldrarr
17. goldrasin
18. goldrapos
19. goldrarp
20. goldracos5teq
21. goldratmolem2
22. lambert0
23. lamberte
24. cjnpoly
25. tannpoly
26. sinnpoly