Proofgold Proposition

atleast4 = λ x1 . ∃ x2 . and (Subq x2 x1) (and (not (Subq x1 x2)) (atleast3 x2))

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
atleast4_def

proofgold address
-

creator

owner

term root
35d31..