Proofgold Proposition

1 ⊆ Sing 0

type
prop

theory
HotG

name
Subq_1_Sing0

proof
PUMB7..

Megalodon
Subq_1_Sing0

proofgold address
TMbUJ..^Subq_1_Sing0

creator
4898 Pr6Pc../453e6..

owner
4898 Pr6Pc../453e6..

term root
aeae9..