Proofgold Proposition

∀ x0 . ordinal x0 ⟶ ∀ x1 : ι → ο . SNo_ x0 (PSNo x0 x1)

type
prop

theory
HotG

name
SNo_PSNo

proof
PUUwp..

Megalodon
SNo_PSNo

proofgold address
TMUdw..^SNo_PSNo

creator
4910 Pr6Pc../f8e5d..

owner
4910 Pr6Pc../f8e5d..

term root
96e4e..