Module group_theory_id

Source

Structsยง

Additive
GCD
LCM
Max
Min
Multiplicative
Xor