Proofgold Proposition

∀ x0 x1 . In x1 x0 ⟶ ∀ x2 : ο . (∀ x3 . and (In x3 x0) (not (∀ x4 : ο . (∀ x5 . and (In x5 x0) (In x5 x3) ⟶ x4) ⟶ x4)) ⟶ x2) ⟶ x2

type
prop

theory
HF

name
-

proof
PUQAi..

Megalodon
Regularity

proofgold address
TML3N..^Regularity

creator
1476 PrGxv../6d141..

owner
1476 PrGxv../6d141..

term root
62d06..