Proofgold Proposition

∀ x0 . ad280.. x0 0 = x0

type
prop

theory
HotG

name
-

proof
PUhtR..

Megalodon
-

proofgold address
TMaQC..

creator
28142 PrQUS../e12df..

owner
28142 PrQUS../e12df..

term root
87227..