Closed robrix closed 10 years ago
Per the wiki:
ε↓𝑥 ∪ ε↓𝑥 ⇒ ε↓𝑥
(ε↓𝑥 ∘ 𝑝) ∪ (ε↓𝑥 ∘ 𝑞) ⇒ ε↓𝑥 ∘ (𝑝 ∪ 𝑞)
cf #31.
Per the wiki:
ε↓𝑥 ∪ ε↓𝑥 ⇒ ε↓𝑥
(ε↓𝑥 ∘ 𝑝) ∪ (ε↓𝑥 ∘ 𝑞) ⇒ ε↓𝑥 ∘ (𝑝 ∪ 𝑞)
cf #31.