Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . nat_p x1 ⟶ mul_nat x0 x1 = 0 ⟶ or (x0 = 0) (x1 = 0)

type
prop

theory
HotG

name
-

proof
PUcPW..

Megalodon
mul_nat_0_inv

proofgold address
TMF2P..^{mul_nat_0_inv}

creator
8134 PrFVW../c4b70..

owner
8134 PrFVW../c4b70..

term root
2da22..