Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNo (SNo_extend0 x0)

type
prop

theory
HotG

name
SNo_extend0_SNo

proof
PUUwp..

Megalodon
SNo_extend0_SNo

proofgold address
TMQty..^{SNo_extend0_SNo}

creator
4910 Pr6Pc../b0d00..

owner
4910 Pr6Pc../b0d00..

term root
b353a..