Proofgold Proposition

∀ x0 x1 . Subq x0 x1 ⟶ ∀ x2 : ι → ι . Subq (lam x0 x2) (lam x1 x2)

type
prop

theory
HF

name
-

proof
PUaiy..

Megalodon
Sigma_mon0

proofgold address
TMXtb..^Sigma_mon0

creator
1504 PrGxv../688e5..

owner
1504 PrGxv../688e5..

term root
cdf99..