Nuprl Definition : reg-seq-inv
reg-seq-inv(x) == λm.((4 * m * m) ÷ x m)
Definitions occuring in Statement :
apply: f a,
lambda: λx.A[x],
divide: n ÷ m,
multiply: n * m,
natural_number: $n
Definitions occuring in definition :
lambda: λx.A[x],
divide: n ÷ m,
natural_number: $n,
multiply: n * m,
apply: f a
FDL editor aliases :
reg-seq-inv
Latex:
reg-seq-inv(x) == \mlambda{}m.((4 * m * m) \mdiv{} x m)
Date html generated:
2016_05_18-AM-06_53_11
Last ObjectModification:
2015_09_23-AM-09_00_46
Theory : reals
Home
Index