Proofgold Proposition

∀ x0 . atleast4 x0 ⟶ ∀ x1 : ο . (∀ x2 . and (Subq x2 x0) (and (not (Subq x0 x2)) (atleast3 x2)) ⟶ x1) ⟶ x1

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
atleast4_E

proofgold address
TMTBS..^atleast4_E

creator
1168 PrGxv../0c0f3..

owner
1168 PrGxv../0c0f3..

term root
cc428..