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