Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNoLt x0 (SNo_extend1 x0)

type
prop

theory
HotG

name
SNo_extend1_Gt

proof
PUK1b..

Megalodon
SNo_extend1_Gt

proofgold address
TMSXK..^{SNo_extend1_Gt}

creator
4949 Pr6Pc../304dd..

owner
4949 Pr6Pc../304dd..

term root
ca0a2..