Proofgold Proposition

∀ x0 x1 . odd_nat x0 ⟶ odd_nat x1 ⟶ odd_nat (mul_nat x0 x1)

type
prop

theory
HotG

name
odd_nat_mul_nat

proof
PUWsr..

Megalodon
odd_nat_mul_nat

proofgold address
TMb73..^{odd_nat_mul_nat}

creator
23950 Pr5Zc../a7165..

owner
23950 Pr5Zc../a7165..

term root
6c806..