Proofgold Proposition

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

type
prop

theory
HotG

name
divides_nat_mulL

proof
PUPh4..

Megalodon
divides_nat_mulL

proofgold address
TMYTo..^{divides_nat_mulL}

creator
29757 PrQUS../459f3..

owner
29757 PrQUS../459f3..

term root
cc5e3..