Proofgold Proposition

ap = λ x1 x2 . ReplSep x1 (λ x3 . ∃ x4 . x3 = setsum x2 x4) proj1

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
ap_def

proofgold address
-

creator

owner

term root
390fc..