Theorem 3.1, p. 15 — a semimetric on acyclic orders satisfies Axioms 1, 3, 4 iff it is a µ-top-difference semimetric

Initializing...

Theorem 3.1, p. 15 — a semimetric on acyclic orders satisfies Axioms 1, 3, 4 iff it is a µ-top-difference semimetric · Prove2Me