Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUZM3..

Megalodon
binunion_asso

proofgold address
TMadF..^{binunion_asso}

creator
1446 PrGxv../8f661..

owner
1446 PrGxv../8f661..

term root
87467..