Metamath Proof Explorer

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

1. squeezedltsq
2. sin3t
3. cos3t
4. sin5tlem1
5. sin5tlem2
6. sin5tlem3
7. sin5tlem4
8. sin5tlem5
9. sin5t
10. goldrarr
11. goldrasin
12. goldrapos
13. goldrarp
14. lambert0
15. lamberte
16. cjnpoly
17. tannpoly
18. sinnpoly