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

trait Domain = UnitalRing + Divisibility + NoZeroDivisors;

A unital ring with no pairs of nonzero elements that multiply to zero