Proofgold Proposition

MetaAdjunction_strict (λ x0 . True) HomSet lam_id (λ x0 x1 x2 . lam_comp x0) SelfInjection UnaryFuncHom struct_id struct_comp 340cb.. 9132f.. (λ x0 . ap x0 0) (λ x0 x1 x2 . x2) 139e8.. 82409..

type
prop

theory
HotG

name
-

proof
PUStC..

Megalodon
-

proofgold address
TMQTR..

creator
35044 PrHS6../6d6bb..

owner
35044 PrHS6../6d6bb..

term root
07e69..