Nuprl Definition : once-class
(X once) == (X until X)
Definitions occuring in Statement :
until-class: (X until Y)
FDL editor aliases :
once-class
Latex:
(X once) == (X until X)
Date html generated:
2015_07_20-PM-03_59_21
Last ObjectModification:
2012_02_25-PM-01_59_57
Home
Index