Question
Does addition + on `RR` also induce a binary operation on `RR^"*"` ?
Close the window and click for the next page...
Close the window and try once more...