Proofgold Proposition

UPair 0 1 ⊆ 2

type
prop

theory
HotG

name
Subq_UPair01_2

proof
PUMB7..

Megalodon
Subq_UPair01_2

proofgold address
TMYm6..^{Subq_UPair01_2}

creator
4898 Pr6Pc../d250f..

owner
4898 Pr6Pc../d250f..

term root
a8554..