Search for blocks/addresses/...

Proofgold Proposition

Sep = λ x1 . λ x2 : ι → ο . If_i (∀ x3 : ο . (∀ x4 . and (In x4 x1) (x2 x4)x3)x3) (Repl x1 (λ x3 . If_i (x2 x3) x3 (Eps_i (λ x4 . and (In x4 x1) (x2 x4))))) 0
type
prop
theory
hf axiom
name
-
proof
-
Megalodon
Sep_def
proofgold address
-
creator
owner
term root
cd980..