Lemma 3.3, p. 16 — along ≿ → ≿₀ ↠ ⊵ the menu-wise symmetric differences split disjointly

Initializing...

Lemma 3.3, p. 16 — along ≿ → ≿₀ ↠ ⊵ the menu-wise symmetric differences split disjointly · Prove2Me