Proofgold Proposition

∀ x0 . x0 ∈ prim6 x0

type
prop

theory
HotG

name
UnivOf_In

proof
PUQdE..

Megalodon
UnivOf_In

proofgold address
TMXQA..^UnivOf_In

creator
4867 Pr6Pc../8e080..

owner
4867 Pr6Pc../8e080..

term root
efcc1..