Proofgold Proposition

∀ x0 x1 . divides_int x0 x1 ⟶ divides_int x0 (minus_SNo x1)

type
prop

theory
HotG

name
divides_int_minus_SNo

proof
PUfeH..

Megalodon
divides_int_minus_SNo

proofgold address
TMTa8..^{divides_int_minus_SNo}

creator
28313 Pr5Zc../c234e..

owner
28313 Pr5Zc../c234e..

term root
28e67..