Nuprl Definition : funinv
inv(f) == λx.mu(λn.(f n =z x))
Definitions occuring in Statement :
mu: mu(f),
eq_int: (i =z j),
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
mu: mu(f),
lambda: λx.A[x],
eq_int: (i =z j),
apply: f a
FDL editor aliases :
funinv
Latex:
inv(f) == \mlambda{}x.mu(\mlambda{}n.(f n =\msubz{} x))
Date html generated:
2016_05_14-AM-07_30_28
Last ObjectModification:
2015_09_22-PM-05_46_34
Theory : int_2
Home
Index