Nuprl Definition : test_yyy
test_yyy(x;x) == x
FDL editor aliases
:
test_yyy
Latex:
test\_yyy(x;x) == x
Date html generated: 2016_05_17-PM-00_56_21
Last ObjectModification: 2014_07_26-PM-10_10_23
Theory :
event-logic-applications
Home
Index