Nuprl Definition : resigned
resigned(x) == ↑isr(x)
Definitions occuring in Statement :
assert: ↑b,
isr: isr(x)
Definitions occuring in definition :
assert: ↑b,
isr: isr(x)
FDL editor aliases :
resigned
resigned
Latex:
resigned(x) == \muparrow{}isr(x)
Date html generated:
2016_05_14-PM-03_56_41
Last ObjectModification:
2015_09_22-PM-06_01_53
Theory : spread
Home
Index