P
Initializing...
Multiplication by a nonzero scalar `scalar w` is injective on `Coef`. · Prove2Me