Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUaiy..

Megalodon
Sigma_mon1

proofgold address
TMMZz..^Sigma_mon1

creator
1504 PrGxv../cf6b0..

owner
1504 PrGxv../cf6b0..

term root
31b47..