Proofgold Proposition

∀ x0 x1 x2 x3 x4 . SNo x0 ⟶ SNo x1 ⟶ SNo x2 ⟶ SNo x3 ⟶ SNo x4 ⟶ add_SNo (add_SNo x0 (add_SNo x1 x2)) (add_SNo x3 x4) = add_SNo (add_SNo x4 (add_SNo x1 x2)) (add_SNo x3 x0)

type
prop

theory
HotG

name
add_SNo_3a_2b

proof
PUaqn..

Megalodon
add_SNo_3a_2b

proofgold address
TMNG8..^{add_SNo_3a_2b}

creator
12463 PrGxv../cc2b4..

owner
12463 PrGxv../cc2b4..

term root
d5c6f..