Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNo (SNo_extend1 x0)

type
prop

theory
HotG

name
SNo_extend1_SNo

proof
PUUwp..

Megalodon
SNo_extend1_SNo

proofgold address
TMY25..^{SNo_extend1_SNo}

creator
4910 Pr6Pc../98545..

owner
4910 Pr6Pc../98545..

term root
fa323..