Nuprl Definition : wfbts
wfbts(t) == term-bts(t)
Definitions occuring in Statement :
term-bts: term-bts(t)
Definitions occuring in definition :
term-bts: term-bts(t)
FDL editor aliases :
wfbts
Latex:
wfbts(t) == term-bts(t)
Date html generated:
2020_05_19-PM-09_58_39
Last ObjectModification:
2020_03_09-PM-04_10_24
Theory : terms
Home
Index