Proofgold Proposition

∀ x0 . nat_p x0 ⟶ mul_nat 2 x0 = add_nat x0 x0

type
prop

theory
HF

name
-

proof
PUaSf..

Megalodon
-

proofgold address
TMNvP..

creator
22364 PrBPC../feab1..

owner
22364 PrBPC../feab1..

term root
2bfb1..