Proofgold Proposition

2 ⊆ 2

type
prop

theory
HotG

name
Subq_2_2

proof
PUfQZ..

Megalodon
Subq_2_2

proofgold address
TMUA9..^Subq_2_2

creator
4898 Pr6Pc../4d971..

owner
4898 Pr6Pc../4d971..

term root
7b90a..