Proofgold Proposition

∀ x0 . ZF_closed (prim6 x0)

type
prop

theory
HotG

name
UnivOf_ZF_closed

proof
PUQdE..

Megalodon
UnivOf_ZF_closed

proofgold address
TMK8J..^{UnivOf_ZF_closed}

creator
4867 Pr6Pc../24592..

owner
4867 Pr6Pc../24592..

term root
770e3..