Proofgold Asset

asset id
a3fee21c8a129bfdb4a8d8e1ddf0743061e22cbfa4708275fe6d17ada1336e3c

asset hash
b7b716f35e381609013d5cdfb4ded030ae0950cd08ff218093d959336ce8d430

bday / block
2207

tx
d1259..

preasset
doc published by PrJJf.. Definition 69aae..^exp_nat := λ x0 . nat_primrec 1 (λ x1 . mul_nat x0) Conjecture d0b0a.. : ∀ x0 x1 x2 x3 . nat_p x0 ⟶ In 2 x0 ⟶ nat_p x1 ⟶ not (x1 = 0) ⟶ nat_p x2 ⟶ not (x2 = 0) ⟶ nat_p x3 ⟶ not (x3 = 0) ⟶ not (add_nat (69aae.. x1 x0) (69aae.. x2 x0) = 69aae.. x3 x0)