smooth_map.has_mul source