Nuprl Definition : class-output-support
class-output-support(es;bg) == 
e
bg.
loc(e)
Proof not projected
Definitions occuring in Statement :
es-le-before: loc(e),
bag-combine: xbs.f[x]
FDL editor aliases :
class-output-support
class-output-support(es;bg) == \mcup{}e\mmember{}bg.\mleq{}loc(e)
Date html generated:
2011_10_20-PM-03_18_15
Last ObjectModification:
2011_09_05-PM-09_34_38
Home
Index