Nuprl Definition : minus def
-n == PRIMITIVE
Rules referencing :
addInverse,
minusEquality,
remainderBounds2,
remainderBounds4,
callbyvalueMinus,
minusExceptionCases
Latex:
-n == PRIMITIVE
Date html generated:
2016_05_13-PM-03_03_43
Last ObjectModification:
2006_01_26-PM-03_52_49
Theory : core_1
Home
Index