SUPERSET
POSTERIOR
1
Floor Division
1
Modulus Operator
NAMES
(Z , Z)
1
THEORY TYPE
Technical
PRIOR
SUBSET