Trait maths_traits::algebra::group_like::multiplicative::MulSemigroup

pub trait MulSemigroup: MulMagma + MulAssociative { }

An associative multiplicative magma

Implementors

impl<_G: MulMagma + MulAssociative> MulSemigroup for _G

Loading content...