Nuprl Definition : initF
initF(a) == a 0 = ff
Definitions occuring in Statement :
bfalse: ff,
bool: 𝔹,
apply: f a,
natural_number: $n,
equal: s = t ∈ T
Definitions occuring in definition :
bfalse: ff,
natural_number: $n,
apply: f a,
bool: 𝔹,
equal: s = t ∈ T
FDL editor aliases :
initF
Latex:
initF(a) == a 0 = ff
Date html generated:
2017_04_21-AM-11_22_05
Last ObjectModification:
2017_04_20-PM-03_41_03
Theory : continuity
Home
Index