Proofgold Proposition

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

type
prop

theory
HotG

name
ctagged_notin_ordinal

proof
PUgeJ..

Megalodon
ctagged_notin_ordinal

proofgold address
TMU4p..^{ctagged_notin_ordinal}

creator
4958 Pr6Pc../7795c..

owner
4958 Pr6Pc../7795c..

term root
a6d7c..