Proofgold Proposition

∀ x0 . Subq x0 (Union 0) ⟶ ∀ x1 . In x1 x0 ⟶ and (∀ x2 . not (exactly5 x0) ⟶ ∃ x3 . and (Subq x3 x0) (∀ x5 . In x5 0 ⟶ not (ordinal x2))) (∃ x2 . and (In x2 x1) (∃ x4 . not (TransSet x1))) ⟶ atleast4 x1

type
prop

theory
HF

name
-

proof
PUKha..

Megalodon
-

proofgold address
TMdaj..

creator
20631 PrCnV../1a893..

owner
20632 PrCnV../ac7e5..

term root
36830..