Proofgold Proposition

type
prop

theory
HotG

name
omega_TransSet

proof
PUL8Q..

Megalodon
omega_TransSet

proofgold address
TMKTj..^{omega_TransSet}

creator
4882 Pr6Pc../19dc9..

owner
4882 Pr6Pc../19dc9..

term root
8e89e..