Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUdXV..

Megalodon
MetaCatSmallSet

proofgold address
TMTKs..^{MetaCatSmallSet}

creator
9630 PrCx1../c27b9..

owner
9630 PrCx1../c27b9..

term root
ea08c..