Proofgold Proposition

∀ x0 . nat_p x0 ⟶ SNo x0

type
prop

theory
HotG

name
nat_p_SNo

proof
PUUxZ..

Megalodon
nat_p_SNo

proofgold address
TMFcd..^nat_p_SNo

creator
8219 Pr6Pc../834d9..

owner
8219 Pr6Pc../834d9..

term root
0644f..