Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ nIn (SetAdjoin x1 (Sing 2)) x0

type
prop

theory
HotG

name
ctagged_notin_SNo

proof
PUgeJ..

Megalodon
ctagged_notin_SNo

proofgold address
TMdvx..^{ctagged_notin_SNo}

creator
4958 Pr6Pc../9f3fa..

owner
4958 Pr6Pc../9f3fa..

term root
e87ba..