Expand description

Implementations of SubMul and SubMulAssign, traits for subtracting the product of two numbers from a number.