Trait Alias maths_traits::algebra::module_like::AssociativeRingAlgebra

trait AssociativeRingAlgebra<K: UnitalRing> = RingAlgebra<K> + MulAssociative;

A ring algebra with an associative multiplication operation