Proofgold Proposition

∀ x0 x1 . x0 ∈ x1 ⟶ TransSet x1 ⟶ ZF_closed x1 ⟶ prim6 x0 ⊆ x1

type
prop

theory
HotG

name
UnivOf_Min

proof
PUQdE..

Megalodon
UnivOf_Min

proofgold address
TMGeT..^UnivOf_Min

creator
4867 Pr6Pc../701c2..

owner
4867 Pr6Pc../701c2..

term root
042dd..