Proofgold Proposition

type
prop

theory
HotG

name
SNo_Complex_i

proof
PUgeJ..

Megalodon
SNo_Complex_i

proofgold address
TMMie..^{SNo_Complex_i}

creator
4958 Pr6Pc../72034..

owner
4958 Pr6Pc../72034..

term root
0b8ad..