Proofgold Proposition

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

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
atleast6_def

proofgold address
-

creator

owner

term root
00b99..