P
Initializing...
Adding a constant on the left commutes with a finite `sup'`. · Prove2Me