docs: enumerate CNOCategory.v hom_functor as §(d) DEBT (Phase 2b)#61

hyperpolymath merged 1 commit into

mainhyperpolymath/absolute-zero:mainfrom

proof-debt/cno-common-clusterhyperpolymath/absolute-zero:proof-debt/cno-common-clusterCopy head branch name to clipboard