Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUTs8..

Megalodon
-

proofgold address
TMMZG..

creator
29423 Pr5Zc../f5293..

owner
29423 Pr5Zc../f5293..

term root
99a3c..