P
Initializing...
`Φ` commutes with the dilation. · Prove2Me