Proofgold Proposition

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

type
prop

theory
HotG

name
add_SNo_minus_Le2

proof
PUUxZ..

Megalodon
add_SNo_minus_Le2

proofgold address
TMdcG..^{add_SNo_minus_Le2}

creator
12264 PrGxv../70bc6..

owner
12264 PrGxv../70bc6..

term root
85af8..