Nuprl Definition : fix def
fix(F) == PRIMITIVE
Rules referencing
:
compactness
,
fixpointLeast
Latex:
fix(F) == PRIMITIVE
Date html generated: 2016_05_13-PM-03_03_59
Last ObjectModification: 2012_06_13-PM-01_02_40
Theory :
core_1
Home
Index