Proofgold Proposition

∀ x0 x1 . binunion x0 x1 = binunion x1 x0

type
prop

theory
HotG

name
binunion_com

proof
PUL8Q..

Megalodon
binunion_com

proofgold address
TMY4T..^binunion_com

creator
4882 Pr6Pc../fcf19..

owner
4882 Pr6Pc../fcf19..

term root
e20f4..