Proofgold Proposition

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

type
prop

theory
HotG

name
SNoEq_I

proof
PUUwp..

Megalodon
SNoEq_I

proofgold address
TMQV9..^SNoEq_I

creator
4910 Pr6Pc../8c70b..

owner
4910 Pr6Pc../8c70b..

term root
a718b..