Proofgold Proposition

∀ x0 x1 x2 . SNo x1 ⟶ SNo x2 ⟶ divides_int x0 (add_SNo x1 (minus_SNo x2)) ⟶ divides_int x0 (add_SNo x2 (minus_SNo x1))

type
prop

theory
HotG

name
-

proof
PUQQ9..

Megalodon
-

proofgold address
TMWJn..

creator
30111 PrQUS../acc11..

owner
30111 PrQUS../acc11..

term root
28d72..