Proofgold Proposition

∀ x0 x1 . x1 ⊆ binunion x0 x1

type
prop

theory
HotG

name
binunion_Subq_2

proof
PUL8Q..

Megalodon
binunion_Subq_2

proofgold address
TMHEC..^{binunion_Subq_2}

creator
4882 Pr6Pc../73823..

owner
4882 Pr6Pc../73823..

term root
3cf22..