Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ ∀ x1 . x1 ∈ omega ⟶ mul_nat x0 x1 = 0 ⟶ or (x0 = 0) (x1 = 0)

type
prop

theory
HotG

name
mul_nat_0_inv

proof
PUWsr..

Megalodon
mul_nat_0_inv

proofgold address
TMMpo..^{mul_nat_0_inv}

creator
23950 Pr5Zc../113a9..

owner
23950 Pr5Zc../113a9..

term root
24904..