Proofgold Proposition

∀ x0 . atleast3 x0 ⟶ ∃ x1 . and (Subq x1 x0) (and (not (Subq x0 x1)) (atleast2 x1))

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
atleast3_E

proofgold address
TMPfX..^atleast3_E

creator
1168 PrGxv../7aed0..

owner
1168 PrGxv../7aed0..

term root
8ba3c..