Lemma 4 — relation (IV) is transitive (except when the middle item is indifferent to both)

Initializing...

Lemma 4 — relation (IV) is transitive (except when the middle item is indifferent to both) · Prove2Me