[][src]Function un_algebra::ring::ring::left_distributivity

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

The axiom of left distributivity (multiplication).