"times"の定義と意味

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

used to multiply a number by another