Proofgold Proposition

Sing 0 ⊆ 1

type
prop

theory
HotG

name
Subq_Sing0_1

proof
PUMB7..

Megalodon
Subq_Sing0_1

proofgold address
TMHq3..^Subq_Sing0_1

creator
4898 Pr6Pc../453a8..

owner
4898 Pr6Pc../453a8..

term root
cd786..