Proofgold Proposition

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

type
prop

theory
HotG

name
setprod_mon0

proof
PUgbQ..

Megalodon
setprod_mon0

proofgold address
TMVWd..^setprod_mon0

creator
4904 Pr6Pc../dbaf1..

owner
4904 Pr6Pc../dbaf1..

term root
7bd32..