Nuprl Definition : mkW
mkW(a;f) == <a, f>
Definitions occuring in Statement :
pair: <a, b>
Definitions occuring in definition :
pair: <a, b>
FDL editor aliases :
mkW
mkW
Latex:
mkW(a;f) == <a, f>
Date html generated:
2016_05_14-PM-03_56_59
Last ObjectModification:
2015_09_22-PM-06_01_54
Theory : spread
Home
Index