Nuprl Definition : oldsquash
oldsquash(T) == {True| T}
Definitions occuring in Statement :
true: True,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
true: True
Latex:
oldsquash(T) == \{True| T\}
Date html generated:
2016_05_13-PM-03_04_15
Last ObjectModification:
2015_09_22-PM-05_43_40
Theory : core_1
Home
Index