Nuprl Definition : remainder def
n rem m == let q,r = divrem(n; m) in r
Definitions occuring in Statement :
divrem: divrem(n; m)
Definitions occuring in definition :
divrem: divrem(n; m)
Rules referencing :
remainderEquality,
remainderBounds1,
remainderBounds2,
remainderBounds3,
remainderBounds4,
divideRemainderSum,
callbyvalueRemainder,
exceptionRemainder,
remainderExceptionCases
Latex:
n rem m == let q,r = divrem(n; m) in r
Date html generated:
2019_06_20-AM-11_13_20
Last ObjectModification:
2019_02_18-PM-02_40_12
Theory : core_1
Home
Index