Proofgold Proposition

∀ x0 x1 x2 . ∀ x3 : ο . (x2 ∈ x0 ⟶ x3) ⟶ (x2 ∈ x1 ⟶ x3) ⟶ x2 ∈ binunion x0 x1 ⟶ x3

type
prop

theory
HotG

name
binunionE'

proof
PUULb..

Megalodon
binunionE

proofgold address
TMFAC..^binunionE

creator
12391 PrGxv../f545b..

owner
12391 PrGxv../f545b..

term root
e5b95..