Proofgold Proposition

∀ x0 . inj x0 x0 (λ x1 . x1)

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
inj_id

proofgold address
TMQWR..^inj_id

creator
2277 PrGxv../ee9db..

owner
2277 PrGxv../ee9db..

term root
780c0..