Proofgold Proposition

∀ x0 x1 x2 . x2 ∈ binunion x0 x1 ⟶ or (x2 ∈ x0) (x2 ∈ x1)

type
prop

theory
HotG

name
binunionE

proof
PUL8Q..

Megalodon
binunionE

proofgold address
TMMe9..^binunionE

creator
4882 Pr6Pc../2614c..

owner
4882 Pr6Pc../2614c..

term root
5a319..