Proofgold Proposition

∀ x0 x1 x2 . x1 ⊆ x2 ⟶ setprod x0 x1 ⊆ setprod x0 x2

type
prop

theory
HotG

name
setprod_mon1

proof
PUgbQ..

Megalodon
setprod_mon1

proofgold address
TMPyg..^setprod_mon1

creator
4904 Pr6Pc../9707f..

owner
4904 Pr6Pc../9707f..

term root
6e2e0..