Proofgold Proposition

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

type
prop

theory
HotG

name
setprod_mon

proof
PUgbQ..

Megalodon
setprod_mon

proofgold address
TMRkB..^setprod_mon

creator
4904 Pr6Pc../66fe8..

owner
4904 Pr6Pc../66fe8..

term root
63d72..