Proofgold Proposition

∀ x0 . exp_nat x0 2 = mul_nat x0 x0

type
prop

theory
HotG

name
-

proof
PUQQ9..

Megalodon
-

proofgold address
TMZ76..

creator
30111 PrQUS../380e0..

owner
30111 PrQUS../380e0..

term root
8ec44..