Proofgold Proposition

type
prop

theory
HF

name
-

proof
PUKA4..

Megalodon
setsum_p_tuple2

proofgold address
TMYPm..^{setsum_p_tuple2}

creator
1627 PrGxv../98342..

owner
1627 PrGxv../98342..

term root
9feb3..