[][src]Trait Alias maths_traits::algebra::ring_like::IntegralSemidomain

trait IntegralSemidomain = Semidomain + MulCommutative;

A semidomain that is commutative