Proofgold Proposition

Sep2 = λ x1 . λ x2 : ι → ι . λ x3 : ι → ι → ο . Sep (lam x1 x2) (λ x4 . x3 (ap x4 0) (ap x4 1))

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
Sep2_def

proofgold address
-

creator

owner

term root
4f2a2..