multcomplex is_distributive_wrt addcomplex