Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNo (abs_SNo x0)

type
prop

theory
HotG

name
SNo_abs_SNo

proof
PUfRQ..

Megalodon
SNo_abs_SNo

proofgold address
TMSQY..^SNo_abs_SNo

creator
6761 Pr6Pc../17805..

owner
6761 Pr6Pc../17805..

term root
7266a..