haar_lib::num

Module zz

Source
Expand description

$\mathbb{Z} / m \mathbb{Z}$の環

Traits§

ZZ
$\mathbb{Z} / m \mathbb{Z}$の環
ZZElem
$\mathbb{Z} / m \mathbb{Z}$の環の元