Proofgold Proposition

∀ x0 . TransSet (prim6 x0)

type
prop

theory
HotG

name
UnivOf_TransSet

proof
PUQdE..

Megalodon
UnivOf_TransSet

proofgold address
TMQDP..^{UnivOf_TransSet}

creator
4867 Pr6Pc../e01ce..

owner
4867 Pr6Pc../e01ce..

term root
05357..