Trait Alias maths_traits::algebra::group_like::multiplicative::MulLoop

trait MulLoop = MulMagma + Invertable + One;

A multiplicative magma with an inverse operation and identity