Proofgold Proposition

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

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
atleast5_def

proofgold address
-

creator

owner

term root
c67c6..