Proofgold Proposition

type
prop

theory
HotG

name
Im_0

proof
PUQvq..

Megalodon
Im_0

proofgold address
TMccU..^Im_0

creator
28444 PrQUS../a855a..

owner
28444 PrQUS../a855a..

term root
3d062..