P
Initializing...
`Expr.rational` commutes with powers. · Prove2Me