Nuprl Definition : true
True == 0 ∈ ℤ
Definitions occuring in Statement :
member: t ∈ T,
natural_number: $n,
int: ℤ
Definitions occuring in definition :
member: t ∈ T,
int: ℤ,
natural_number: $n
Rules referencing :
StrongContinuity2
FDL editor aliases :
true
Latex:
True == 0 \mmember{} \mBbbZ{}
Date html generated:
2016_05_13-PM-03_04_08
Last ObjectModification:
2015_09_22-PM-01_26_54
Theory : core_1
Home
Index