Proofgold Proposition

type
prop

theory
HotG

name
Subq_int_SNoS_omega

proof
PUcxH..

Megalodon
Subq_int_SNoS_omega

proofgold address
TMYeH..^{Subq_int_SNoS_omega}

creator
29779 PrQUS../947d3..

owner
29779 PrQUS../947d3..

term root
94724..