Proofgold Proposition

∀ x0 x1 . x0 ⊆ binunion x0 x1

type
prop

theory
HotG

name
binunion_Subq_1

proof
PUL8Q..

Megalodon
binunion_Subq_1

proofgold address
TMKuA..^{binunion_Subq_1}

creator
4882 Pr6Pc../9208c..

owner
4882 Pr6Pc../9208c..

term root
b2c65..