Proofgold Proposition

∀ x0 x1 . In x1 x0 ⟶ ∃ x2 . and (In x2 x0) (not (∃ x4 . and (In x4 x0) (In x4 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..