Proofgold Proposition

type
prop

theory
HotG

name
Subq_omega_int

proof
PUMdw..

Megalodon
Subq_omega_int

proofgold address
TMdSi..^{Subq_omega_int}

creator
12548 PrGxv../bfbed..

owner
12548 PrGxv../bfbed..

term root
405dd..