P
Initializing...
§5 — an infinite relaxation sequence is Fejér-monotone with respect to $A$ · Prove2Me