Trait Alias maths_traits::algebra::group_like::multiplicative::MulGroup

trait MulGroup = MulMagma + MulAssociative + Invertable + One + PowZ;

A multiplicative monoid with an inverse operation