Proofgold Proposition

∀ x0 x1 . Subq x1 (binunion x0 x1)

type
prop

theory
HF

name
-

proof
PUZM3..

Megalodon
binunion_Subq_2

proofgold address
TMXR7..^{binunion_Subq_2}

creator
1446 PrGxv../5f37d..

owner
1446 PrGxv../5f37d..

term root
79716..