Proofgold Proposition

∀ x0 . SNo x0 ⟶ exp_SNo_nat x0 0 = 1

type
prop

theory
HotG

name
exp_SNo_nat_0

proof
PUUxZ..

Megalodon
exp_SNo_nat_0

proofgold address
TMW2g..^{exp_SNo_nat_0}

creator
12264 PrGxv../ba38a..

owner
12264 PrGxv../ba38a..

term root
c266f..