Nuprl Definition : divrem def
divrem(n; m) == PRIMITIVE
Rules referencing
:
Error :divremEquality
Latex:
divrem(n; m) == PRIMITIVE
Date html generated: 2019_06_20-AM-11_13_17
Last ObjectModification: 2019_02_18-PM-02_38_45
Theory :
core_1
Home
Index