Nuprl Definition : awf-solution
awf-solution(G) == fix(G)
Definitions occuring in Statement :
fix: fix(F)
Definitions occuring in definition :
fix: fix(F)
FDL editor aliases :
awf-solution
Latex:
awf-solution(G) == fix(G)
Date html generated:
2016_05_15-PM-07_26_41
Last ObjectModification:
2015_09_23-AM-08_15_04
Theory : general
Home
Index