EXPAND\_CASES _ _ _ _ _ _ _ _ _ _ _ _ operator

When a root_of form in a result of solve has been converted to a one_of form, expand_cases can be used to convert this into form corresponding to the normal explicit results of solve. See root_of.