Proofgold Proposition

∀ x0 . setprod x0 0 = 0

type
prop

theory
HotG

name
-

proof
PUgGN..

Megalodon
-

proofgold address
TMPkS..

creator
19339 Pr4zB../8fb09..

owner
19339 Pr4zB../8fb09..

term root
6e647..