[][src]Function un_algebra::ring::ring::right_distributivity

pub fn right_distributivity<T: Ring>(x: &T, y: &T, z: &T) -> bool

The axiom of right distributivity (multiplication).