Proofgold Proposition

MetaAdjunction_strict (λ x0 . True) HomSet lam_id (λ x0 x1 x2 . lam_comp x0) struct_u 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
TMRPu..

creator
35044 PrHS6../7f58b..

owner
35044 PrHS6../7f58b..

term root
63bc9..