Proofgold Proposition

0 ⊆ 2

type
prop

theory
HotG

name
Subq_0_2

proof
PUfQZ..

Megalodon
Subq_0_2

proofgold address
TMNVF..^Subq_0_2

creator
4898 Pr6Pc../ecc37..

owner
4898 Pr6Pc../ecc37..

term root
4147b..