P
Initializing...
Lemma 4.4, p. 10 — for monotone M the embedding operator Q = F ∪ I is maximal monotone · Prove2Me