Proofgold Proposition

proj1 = λ x1 . ReplSep x1 (λ x2 . ∃ x3 . Inj1 x3 = x2) Unj

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
proj1_def

proofgold address
-

creator

owner

term root
3c224..