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