Proofgold Proposition

∀ x0 x1 x2 . binunion x0 (binunion x1 x2) = binunion (binunion x0 x1) x2

type
prop

theory
HotG

name
binunion_asso

proof
PUL8Q..

Megalodon
binunion_asso

proofgold address
TMay4..^{binunion_asso}

creator
4882 Pr6Pc../f72eb..

owner
4882 Pr6Pc../f72eb..

term root
e0f70..