Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . nat_p x1 ⟶ ∀ x2 x3 . equip x2 x0 ⟶ equip x3 x1 ⟶ equip (setprod x2 x3) (mul_nat x0 x1)

type
prop

theory
HF

name
-

proof
PUZkx..

Megalodon
equip_setprod_mul_nat_2

proofgold address
TMZKc..^{equip_setprod_mul_nat_2}

creator
2364 PrGxv../e50cf..

owner
2364 PrGxv../e50cf..

term root
b8fbb..