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