Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUTTe..

Megalodon
-

proofgold address
TMLen..

creator
20043 Pr4zB../e65bd..

owner
20043 Pr4zB../e65bd..

term root
463ff..