Proofgold Proposition

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

type
prop

theory
HotG

name
SNo_add_SNo_4

proof
PUZYY..

Megalodon
SNo_add_SNo_4

proofgold address
TMXXq..^{SNo_add_SNo_4}

creator
5076 Pr6Pc../12d77..

owner
5076 Pr6Pc../12d77..

term root
d71f0..