Proofgold Proposition

type
prop

theory
HotG

name
Im_1

proof
PUQvq..

Megalodon
Im_1

proofgold address
TMF2f..^Im_1

creator
28444 PrQUS../ea44e..

owner
28444 PrQUS../ea44e..

term root
ca880..