Proofgold Proposition

∀ x0 x1 . divides_int x0 x1 ⟶ div_SNo x1 x0 ∈ int

type
prop

theory
HotG

name
-

proof
PUQQ9..

Megalodon
divides_int_div_SNo_int

proofgold address
TMK3o..^{divides_int_div_SNo_int}

creator
30111 PrQUS../db89b..

owner
30111 PrQUS../db89b..

term root
33dd3..