Proofgold Proposition

∀ x0 . HSNo_pair x0 0 = x0

type
prop

theory
HotG

name
HSNo_pair_0

proof
PUdK2..

Megalodon
HSNo_pair_0

proofgold address
TMTd2..^HSNo_pair_0

creator
28513 PrQUS../91ec1..

owner
28513 PrQUS../91ec1..

term root
121f8..