P
Initializing...
Directed multiplier is coercive where $A$ is far from zero on the negative side · Prove2Me