Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUVtn..

Megalodon
Subq_omega_int

proofgold address
TMJyo..^{Subq_omega_int}

creator
5161 Pr6Pc../59fdc..

owner
5161 Pr6Pc../59fdc..

term root
c213f..