Proofgold Proposition

∀ x0 x1 x2 . setsum x0 (binunion x1 x2) = binunion (setsum x0 x1) (prim5 x2 Inj1)

type
prop

theory
HotG

name
-

proof
PUXp3..

Megalodon
-

proofgold address
TMcL3..

creator
14944 Pr4zB../8d0e1..

owner
14944 Pr4zB../8d0e1..

term root
a6105..