Proofgold Proposition

1 ⊆ 1

type
prop

theory
HotG

name
Subq_1_1

proof
PUfQZ..

Megalodon
Subq_1_1

proofgold address
TMcdz..^Subq_1_1

creator
4898 Pr6Pc../c502d..

owner
4898 Pr6Pc../c502d..

term root
6810b..