Proofgold Proposition

MetaCat (λ x0 . x0 ∈ prim6 0) HomSet lam_id (λ x0 x1 x2 . lam_comp x0)

type
prop

theory
HotG

name
-

proof
PUdXV..

Megalodon
MetaCatHFSet

proofgold address
TMEix..^MetaCatHFSet

creator
9630 PrCx1../27618..

owner
9630 PrCx1../27618..

term root
3e43f..