Nuprl Definition : num-var
t_n == <t, n>
Definitions occuring in Statement :
pair: <a, b>
Definitions occuring in definition :
pair: <a, b>
FDL editor aliases :
num-var
Latex:
t\_n == <t, n>
Date html generated:
2020_05_19-PM-09_52_56
Last ObjectModification:
2020_03_09-PM-04_07_56
Theory : terms
Home
Index