تعريف ومعنى "times"

an arithmetic operation that is the inverse of division; the product of two numbers is computed

used to multiply a number by another