Etymology
Today it means: Obtaining strong convergence without strong monotonicity by projecting twice on the underlying set of constraints. Full definition →
From extra- + gradient.
Etymology from Wiktionary, CC BY-SA 4.0.