Proofgold Proposition

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

type
prop

theory
HotG

name
bij_id

proof
PUL8Q..

Megalodon
bij_id

proofgold address
TMFby..^bij_id

creator
4882 Pr6Pc../53b7c..

owner
4882 Pr6Pc../53b7c..

term root
a8cef..