P
Initializing...
Phase products: ‖Q_p(ẽ·x) - e·x‖ ≤ 4hp and ‖Q_p(ẽ·x)‖ ≤ ‖x‖ · Prove2Me