P
Initializing...
Lemma 3.4, p. 17 — under Axioms 1 and 3, d(≿_ab, ≿⁺_ab) does not depend on a · Prove2Me