Proofgold Proposition

proj0 = λ x1 . ReplSep x1 (λ x2 . ∀ x3 : ο . (∀ x4 . Inj0 x4 = x2 ⟶ x3) ⟶ x3) Unj

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
proj0_def

proofgold address
-

creator

owner

term root
06695..