Proofgold Proposition

∀ x0 x1 x2 x3 . x0 ⊆ x2 ⟶ x1 ⊆ x3 ⟶ setsum x0 x1 ⊆ setsum x2 x3

type
prop

theory
HotG

name
pairSubq

proof
PUMB7..

Megalodon
pairSubq

proofgold address
TMW7T..^pairSubq

creator
4898 Pr6Pc../6fe59..

owner
4898 Pr6Pc../6fe59..

term root
6e301..