Nuprl Definition : test_yyy
test_yyy(x;x) == x
FDL editor aliases
:
test_yyy
Latex:
test\_yyy(x;x) == x
Date html generated: 2015_07_23-PM-00_27_35
Last ObjectModification: 2014_07_26-PM-10_10_23
Home
Index