un_algebra::ring::ring
pub fn right_distributivity<T: Ring>(x: &T, y: &T, z: &T) -> bool
The axiom of right distributivity (multiplication).