Trait Alias maths_traits::algebra::module_like::RingAlgebra

trait RingAlgebra<K: UnitalRing> = RingModule<K> + MulMagma + Distributive;

A ring module with a distributive multiplication operation