Nuprl Definition : divide def
n ÷ m == let q,r = divrem(n; m) in q
Definitions occuring in Statement :
divrem: divrem(n; m)
Definitions occuring in definition :
divrem: divrem(n; m)
Rules referencing :
divideEquality,
divideRemainderSum,
callbyvalueDivide,
exceptionDivide,
divideExceptionCases
FDL editor aliases :
divide
Latex:
n \mdiv{} m == let q,r = divrem(n; m) in q
Date html generated:
2019_06_20-AM-11_13_18
Last ObjectModification:
2019_02_18-PM-02_39_12
Theory : core_1
Home
Index