Proofgold Proposition

proj1 = λ x1 . ReplSep x1 (λ x2 . ∀ x3 : ο . (∀ x4 . Inj1 x4 = x2 ⟶ x3) ⟶ x3) Unj

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
proj1_def

proofgold address
-

creator

owner

term root
3c224..