Proofgold Proposition

∀ x0 x1 x2 . Subq x0 x2 ⟶ Subq x1 x2 ⟶ Subq (binunion x0 x1) x2

type
prop

theory
HF

name
-

proof
PUZM3..

Megalodon
binunion_Subq_min

proofgold address
TMKau..^{binunion_Subq_min}

creator
1446 PrGxv../4b3b6..

owner
1446 PrGxv../4b3b6..

term root
fb26f..