Nuprl Definition : unit
Unit == 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 :
equalityEqualityBase,
StrongContinuity2,
classicalIntroduction
FDL editor aliases :
unit
Latex:
Unit == 0 \mmember{} \mBbbZ{}
Date html generated:
2016_05_13-PM-03_04_07
Last ObjectModification:
2015_09_22-PM-01_26_54
Theory : core_1
Home
Index