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