Proofgold Proposition

∀ x0 x1 x2 . SNoEq_ x0 x1 x2 ⟶ ∀ x3 . x3 ∈ x0 ⟶ x3 ∈ x2 ⟶ x3 ∈ x1

type
prop

theory
HotG

name
SNoEq_E2

proof
PUUwp..

Megalodon
SNoEq_E2

proofgold address
TMTis..^SNoEq_E2

creator
4910 Pr6Pc../92a63..

owner
4910 Pr6Pc../92a63..

term root
04c55..