Proofgold Proposition

∀ x0 x1 x2 . x0 ⊆ x2 ⟶ x1 ⊆ x2 ⟶ binunion x0 x1 ⊆ x2

type
prop

theory
HotG

name
binunion_Subq_min

proof
PUL8Q..

Megalodon
binunion_Subq_min

proofgold address
TMEmr..^{binunion_Subq_min}

creator
4882 Pr6Pc../1bb5f..

owner
4882 Pr6Pc../1bb5f..

term root
cc32a..