Proofgold Proposition

0 ⊆ 1

type
prop

theory
HotG

name
Subq_0_1

proof
PUfQZ..

Megalodon
Subq_0_1

proofgold address
TMH3G..^Subq_0_1

creator
4898 Pr6Pc../88ccd..

owner
4898 Pr6Pc../88ccd..

term root
cad7c..