Nuprl Definition : guard
{T} == T
FDL editor aliases
:
guard
Latex:
\{T\} == T
Date html generated: 2016_05_13-PM-03_06_26
Last ObjectModification: 2016_01_04-AM-10_25_23
Theory :
core_2
Home
Index