Proofgold Proposition

∀ x0 x1 x2 . SNoEq_ x0 x1 x2 ⟶ ∀ x3 . x3 ∈ x0 ⟶ iff (x3 ∈ x1) (x3 ∈ x2)

type
prop

theory
HotG

name
SNoEq_E

proof
PUUwp..

Megalodon
SNoEq_E

proofgold address
TMcZ2..^SNoEq_E

creator
4910 Pr6Pc../1f1de..

owner
4910 Pr6Pc../1f1de..

term root
32228..