Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . nat_p x1 ⟶ ∀ x2 x3 . equip x2 x0 ⟶ equip x3 x1 ⟶ equip (binrep x2 x3) (add_nat x0 (69aae.. 2 x1))

type
prop

theory
HF

name
-

proof
PUaSf..

Megalodon
-

proofgold address
TMQiR..

creator
22364 PrBPC../db25f..

owner
22364 PrBPC../db25f..

term root
2cd90..