Proofgold Proposition

∀ x0 x1 x2 . x1 ∈ x2 ⟶ x2 ∈ x0 ⟶ x1 ∈ prim3 x0

type
prop

theory
HotG

name
UnionI

proof
PUL8Q..

Megalodon
UnionI

proofgold address
TMHDQ..^UnionI

creator
4882 Pr6Pc../f45da..

owner
4882 Pr6Pc../f45da..

term root
51b54..