negate -package:dimensional

Unary negation.
Negate a vector.
inverse with respect to +
2's complement bitvector negation.
forVector number_ $ \xs -> xs == Vector.negate (Vector.negate xs)
Negate an integer or real number.
forSliced number_ $ \xs -> VectorSlice.toVector xs == Vector.negate (VectorSlice.negate xs)