Proofgold Proposition

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

type
prop

theory
HotG

name
UnionE

proof
PUL8Q..

Megalodon
UnionE

proofgold address
TMPGv..^UnionE

creator
4882 Pr6Pc../90f35..

owner
4882 Pr6Pc../90f35..

term root
db4bc..