Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ SNoLe (abs_SNo (add_SNo x0 x1)) (add_SNo (abs_SNo x0) (abs_SNo x1))

type
prop

theory
HotG

name
SNo_triangle

proof
PUfRQ..

Megalodon
SNo_triangle

proofgold address
TMJz4..^SNo_triangle

creator
6761 Pr6Pc../587f0..

owner
6761 Pr6Pc../587f0..

term root
f7ed3..