Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
UnionEq_famunionId

proofgold address
TMVKi..^{UnionEq_famunionId}

creator
1339 PrGxv../26b92..

owner
1339 PrGxv../26b92..

term root
d6aa7..