Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUKha..

Megalodon
-

proofgold address
TMdaj..

creator
20631 PrCnV../1a893..

owner
20632 PrCnV../ac7e5..

term root
36830..