Proofgold Proposition

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

type
prop

theory
HotG

name
SNoEq_E1

proof
PUUwp..

Megalodon
SNoEq_E1

proofgold address
TMKUK..^SNoEq_E1

creator
4910 Pr6Pc../8d3f6..

owner
4910 Pr6Pc../8d3f6..

term root
bc569..