Proofgold Proposition

∀ x0 x1 x2 x3 x4 . binunion x0 x1 = x2 ⟶ (∀ x5 . x5 ∈ x0 ⟶ nIn x5 x1) ⟶ nat_p x3 ⟶ nat_p x4 ⟶ equip x0 x3 ⟶ equip x2 (add_nat x3 x4) ⟶ equip x1 x4

type
prop

theory
HotG

name
-

proof
PUKai..

Megalodon
-

proofgold address
TMMZY..

creator
27959 Pr4zB../469f2..

owner
27995 Pr4zB../956fc..

term root
17ee7..