Nuprl Definition : init0
init0(a) == (a 0) = 0 ∈ ℕ
Definitions occuring in Statement :
nat: ℕ,
apply: f a,
natural_number: $n,
equal: s = t ∈ T
Definitions occuring in definition :
natural_number: $n,
apply: f a,
nat: ℕ,
equal: s = t ∈ T
FDL editor aliases :
init0
Latex:
init0(a) == (a 0) = 0
Date html generated:
2017_04_21-AM-11_22_15
Last ObjectModification:
2017_04_20-PM-03_42_03
Theory : continuity
Home
Index