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

trait MulMonoid = MulSemigroup + One + PowN;

A multiplicative semigroup with an identity element