Nuprl Definition : pi
π == 2 * π/2
Definitions occuring in Statement :
halfpi: π/2,
int-rmul: k1 * a,
natural_number: $n
Definitions occuring in definition :
halfpi: π/2,
natural_number: $n,
int-rmul: k1 * a
FDL editor aliases :
pi
Latex:
\mpi{} == 2 * \mpi{}/2
Date html generated:
2016_10_26-PM-00_23_32
Last ObjectModification:
2016_09_12-PM-05_43_04
Theory : reals_2
Home
Index