Proofgold Proposition

∀ x0 x1 . x0 ⊆ x1 ⟶ ∀ x2 x3 : ι → ι . (∀ x4 . x4 ∈ x0 ⟶ x2 x4 ⊆ x3 x4) ⟶ lam x0 x2 ⊆ lam x1 x3

type
prop

theory
HotG

name
Sigma_mon

proof
PUdQg..

Megalodon
Sigma_mon

proofgold address
TMS4j..^Sigma_mon

creator
4899 Pr6Pc../d4426..

owner
4899 Pr6Pc../d4426..

term root
425a2..