Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUQQ9..

Megalodon
divides_nat_mul_SNo_R

proofgold address
TMTfG..^{divides_nat_mul_SNo_R}

creator
30111 PrQUS../90b3f..

owner
30111 PrQUS../90b3f..

term root
68b6f..