Proofgold Proposition

1 ⊆ 2

type
prop

theory
HotG

name
Subq_1_2

proof
PUfQZ..

Megalodon
Subq_1_2

proofgold address
TMYt6..^Subq_1_2

creator
4898 Pr6Pc../32a8d..

owner
4898 Pr6Pc../32a8d..

term root
83e0b..