Nuprl Definition : typed
x:T == x
FDL editor aliases
:
typed
Latex:
x:T == x
Date html generated: 2016_05_15-PM-03_24_30
Last ObjectModification: 2015_09_23-AM-07_43_08
Theory :
general
Home
Index