Proofgold Proposition

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

type
prop

theory
HoTg

name
bij_id

proof
PUhdM..

Megalodon
-

proofgold address
TMKZU..

creator
2717 PrGxv../dcc14..

owner
2717 PrGxv../dcc14..

term root
a8cef..