"times"的定义和意义

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

used to multiply a number by another