Proofgold Proposition

0 ⊆ 0

type
prop

theory
HotG

name
Subq_0_0

proof
PUfQZ..

Megalodon
Subq_0_0

proofgold address
TMLxn..^Subq_0_0

creator
4898 Pr6Pc../e682b..

owner
4898 Pr6Pc../e682b..

term root
e9749..