Proofgold Proposition

∀ x0 . SNo_pair x0 0 = x0

type
prop

theory
HotG

name
SNo_pair_0

proof
PUgeJ..

Megalodon
SNo_pair_0

proofgold address
TMZuZ..^SNo_pair_0

creator
4958 Pr6Pc../78929..

owner
4958 Pr6Pc../78929..

term root
a24e9..