Proofgold Proposition

∀ x0 x1 . x0 ⊆ x1 ⟶ ∀ x2 : ι → ι . lam x0 x2 ⊆ lam x1 x2

type
prop

theory
HotG

name
Sigma_mon0

proof
PUdQg..

Megalodon
Sigma_mon0

proofgold address
TMG1i..^Sigma_mon0

creator
4899 Pr6Pc../e3a17..

owner
4899 Pr6Pc../e3a17..

term root
9b3fb..