ConstModInt<M>の代数的構造
ConstModInt<M>
pub use crate::algebra::prod::Prod;
pub use crate::algebra::sum::Sum;
pub use crate::algebra::traits::*;