R | |
| rat [Rat] |
Gives every rational number a unique representation.
|
| rat_inter [Rat_inter] |
Every interval (singleton or non-empty open interval whose bounds are rationals) is given
a unique representation.
|
| rat_poly [Rat_poly] |
Every polynomial (in one variable and whose coefficients are rational numbers) is given
a unique representation.
|