answered 9 years ago
Yep, silly me, worked it out. Few lines below on the same page it says to enter the following command:
from operator import mul
Hope someone who uses the same approch in Learning sage finds this useful.
Gerry