Proofgold Proposition

∀ x0 . ap 0 x0 = 0

type
prop

theory
HotG

name
ap_const_0

proof
PUgbQ..

Megalodon
ap_const_0

proofgold address
TMYDg..^ap_const_0

creator
4904 Pr6Pc../0d985..

owner
4904 Pr6Pc../0d985..

term root
a4ea4..