Proofgold Proposition

∀ x0 x1 . binunion x0 x1 ⊆ binunion x1 x0

type
prop

theory
HotG

name
binunion_com_Subq

proof
PUL8Q..

Megalodon
binunion_com_Subq

proofgold address
TMbN6..^{binunion_com_Subq}

creator
4882 Pr6Pc../c4e33..

owner
4882 Pr6Pc../c4e33..

term root
ee8f5..