Nuprl Definition : special-fix
special-fix(F) == fix(F)
Definitions occuring in Statement :
fix: fix(F)
Definitions occuring in definition :
fix: fix(F)
FDL editor aliases :
special-fix
Latex:
special-fix(F) == fix(F)
Date html generated:
2016_05_13-PM-03_04_27
Last ObjectModification:
2015_09_22-PM-05_43_41
Theory : canonical!form!tests
Home
Index