Proofgold Proposition

∀ x0 . prim3 x0 = famunion x0 (λ x2 . x2)

type
prop

theory
HotG

name
UnionEq_famunionId

proof
PUL8Q..

Megalodon
UnionEq_famunionId

proofgold address
TMazY..^{UnionEq_famunionId}

creator
4882 Pr6Pc../26006..

owner
4882 Pr6Pc../26006..

term root
c0407..