Proofgold Proposition

MetaAdjunction_strict (λ x0 . True) HomSet lam_id (λ x0 x1 x2 . lam_comp x0) 9f253.. UnaryFuncHom struct_id struct_comp 47c33.. 2e027.. (λ x0 . ap x0 0) (λ x0 x1 x2 . x2) f3f54.. daacd..

type
prop

theory
HotG

name
-

proof
PUeeb..

Megalodon
-

proofgold address
TMTAT..

creator
35044 PrHS6../64c78..

owner
35044 PrHS6../64c78..

term root
cc47c..