[−][src]Trait Alias maths_traits::algebra::group_like::multiplicative::MulGroup
trait MulGroup = MulMagma + MulAssociative + Invertable + One + PowZ;
A multiplicative monoid with an inverse operation