Proofgold Proposition

∀ x0 x1 . Subq x0 x1 ⟶ ∀ x2 x3 . Subq x2 x3 ⟶ Subq (setprod x0 x2) (setprod x1 x3)

type
prop

theory
HF

name
-

proof
PUaiy..

Megalodon
setprod_mon

proofgold address
TMVwm..^setprod_mon

creator
1504 PrGxv../6302e..

owner
1504 PrGxv../6302e..

term root
ab3a5..