Trait maths_traits::algebra::group_like::multiplicative::MulMonoid

pub trait MulMonoid: MulSemigroup + One + PowN { }

A multiplicative semigroup with an identity element

Implementors

impl<_G: MulSemigroup + One + PowN> MulMonoid for _G

Loading content...