Proofgold Proposition

atleast2 = λ x1 . ∃ x2 . and (In x2 x1) (not (Subq x1 (Power x2)))

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
atleast2_def

proofgold address
-

creator

owner

term root
7e73e..