P
Initializing...
The upper bound u(i,j) in the extended reals · Prove2Me