P
Initializing...
Theorem 3.2 — $P(f)$ is normal and $P(f)^* = P(f^*)$ · Prove2Me