Proofgold Proposition

∀ x0 x1 . TransSet x0 ⟶ ZF_closed x0 ⟶ x1 ∈ x0 ⟶ 0 ∈ x0

type
prop

theory
HotG

name
-

proof
PUNFE..

Megalodon
ZF_closed_0

proofgold address
TMV6v..^ZF_closed_0

creator
9568 PrCx1../d1d90..

owner
9568 PrCx1../d1d90..

term root
e747e..