Trait scirust::algebra::structure::integral_domain::IntegralDomain [] [src]

pub trait IntegralDomain: IntegralDomainPartial + CommutativeRing { }

Marker trait for integral domains with full equivalence

Implementors