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