Proofgold Proposition

∀ x0 . bij x0 x0 (λ x1 . x1)

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
bij_id

proofgold address
TMTEW..^bij_id

creator
2277 PrGxv../e008c..

owner
2277 PrGxv../e008c..

term root
91304..