Proofgold Proposition

proj0 = λ x1 . ReplSep x1 (λ x2 . ∃ x3 . Inj0 x3 = x2) Unj

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
proj0_def

proofgold address
-

creator

owner

term root
06695..