Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ ∀ x1 . x1 ∈ omega ⟶ divides_nat x0 (mul_nat x0 x1)

type
prop

theory
HotG

name
divides_nat_mulR

proof
PUPh4..

Megalodon
divides_nat_mulR

proofgold address
TMFVp..^{divides_nat_mulR}

creator
29757 PrQUS../591f6..

owner
29757 PrQUS../591f6..

term root
eec68..