Proofgold Proposition

type
prop

theory
HotG

name
OSNo_Complex_i

proof
PUdK2..

Megalodon
OSNo_Complex_i

proofgold address
TMYCh..^{OSNo_Complex_i}

creator
28513 PrQUS../dc4c7..

owner
28513 PrQUS../dc4c7..

term root
af3f4..