Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUaiy..

Megalodon
setprod_mon1

proofgold address
TMThT..^setprod_mon1

creator
1504 PrGxv../90b9f..

owner
1504 PrGxv../90b9f..

term root
2e962..