Proofgold Proposition

∀ x0 . ordinal x0 ⟶ SNoCutP (SNoS_ x0) 0

type
prop

theory
HotG

name
ordinal_SNoCutP

proof
PUK1b..

Megalodon
ordinal_SNoCutP

proofgold address
TMRkZ..^{ordinal_SNoCutP}

creator
4949 Pr6Pc../30d98..

owner
4949 Pr6Pc../30d98..

term root
1e4d0..