Trait Alias maths_traits::algebra::module_like::AssociativeAlgebra

trait AssociativeAlgebra<K: Field> = Algebra<K> + MulAssociative;

An algebra with an associative multiplication operation