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