Nuprl Definition : sm-response
sm-response(R) == Id 
R
Proof not projected
Definitions occuring in Statement :
Id: Id,
product: x:A B[x],
int:
Definitions :
Id: Id,
product: x:A B[x],
int:
FDL editor aliases :
sm-response
sm-response(R) == Id \mtimes{} \mBbbZ{} \mtimes{} R
Date html generated:
2011_10_20-PM-04_07_45
Last ObjectModification:
2011_01_24-PM-04_55_02
Home
Index