Proofgold Proposition

ap = λ x1 x2 . ReplSep x1 (λ x3 . ∀ x4 : ο . (∀ x5 . x3 = setsum x2 x5 ⟶ x4) ⟶ x4) proj1

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
ap_def

proofgold address
-

creator

owner

term root
390fc..