P
Initializing...
Lemmas 13.11 and 13.12 -- the variational characterization of the gap · Prove2Me