Proofgold Address

address
PUUXBhJGwcyh8D59ZLrJ2XLvpFM3GJiZg5r

total
0

mg
-

conjpub
-

current assets
b7b71../a3fee.. bday: 2207 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)

previous assets