Proofgold Proposition

2 ⊆ UPair 0 1

type
prop

theory
HotG

name
Subq_2_UPair01

proof
PUMB7..

Megalodon
Subq_2_UPair01

proofgold address
TMdUk..^{Subq_2_UPair01}

creator
4898 Pr6Pc../11614..

owner
4898 Pr6Pc../11614..

term root
d9088..