Proofgold Proposition

MetaCat (λ x0 . True) HomSet lam_id (λ x0 x1 x2 . lam_comp x0)

type
prop

theory
HotG

name
-

proof
PUdXV..

Megalodon
MetaCatSet

proofgold address
TMcXy..^MetaCatSet

creator
9630 PrCx1../e0c27..

owner
9630 PrCx1../e0c27..

term root
dcf57..