Proofgold Proposition

type
prop

theory
HotG

name
conj_CSNo_0

proof
PUQvq..

Megalodon
conj_CSNo_0

proofgold address
TMTJM..^conj_CSNo_0

creator
28444 PrQUS../25495..

owner
28444 PrQUS../25495..

term root
4e40f..