Proofgold Proposition

∀ x0 x1 . ordinal x0 ⟶ In (SetAdjoin x1 (Sing 1)) x0 ⟶ False

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
tagged_notin_ordinal

proofgold address
TMdP8..^{tagged_notin_ordinal}

creator
2357 PrGxv../cd0bb..

owner
2357 PrGxv../cd0bb..

term root
a42f4..