P

Initializing...

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