Metamath Proof Explorer

Table of Contents - 20.31.26. X and Y sequences 1: Definition and recurrence laws

1. crmx
2. crmy
3. df-rmx
4. df-rmy
5. rmxfval
6. rmyfval
7. rmspecsqrtnq
8. rmspecnonsq
9. qirropth
10. rmspecfund
11. rmxyelqirr
12. rmxypairf1o
13. rmxyelxp
14. frmx
15. frmy
16. rmxyval
17. rmspecpos
18. rmxycomplete
19. rmxynorm
20. rmbaserp
21. rmxyneg
22. rmxyadd
23. rmxy1
24. rmxy0
25. rmxneg
26. rmx0
27. rmx1
28. rmxadd
29. rmyneg
30. rmy0
31. rmy1
32. rmyadd
33. rmxp1
34. rmyp1
35. rmxm1
36. rmym1
37. rmxluc
38. rmyluc
39. rmyluc2
40. rmxdbl
41. rmydbl