Function poi::distributive

pub fn distributive<M: Into<Symbol>, A: Into<Symbol>>(
    mul: M, 
    add: A
) -> Knowledge

Knowledge about a distributive relationship.