Proofgold Proposition

∀ x0 x1 . x1 ∈ prim3 x0 ⟶ ∃ x2 . and (x1 ∈ x2) (x2 ∈ x0)

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..