Proofgold Proposition

∀ x0 . SNo_pair x0 0 = x0

type
prop

theory
HotG

name
SNo_pair_0

proof
PUQvq..

Megalodon
SNo_pair_0

proofgold address
TMQwe..^SNo_pair_0

creator
28444 PrQUS../69796..

owner
28444 PrQUS../69796..

term root
1cb45..