Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUaiy..

Megalodon
setprod_mon0

proofgold address
TMEyS..^setprod_mon0

creator
1504 PrGxv../57c28..

owner
1504 PrGxv../57c28..

term root
bd618..