Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUQQ9..

Megalodon
divides_nat_mul_SNo_L

proofgold address
TMQj6..^{divides_nat_mul_SNo_L}

creator
30111 PrQUS../1b2a9..

owner
30111 PrQUS../1b2a9..

term root
1f574..