ordinal(buchholz): fix Slice 2-bplus — explicit implicit on ≤′-refl (CI-quota fallout)#134

hyperpolymath merged 1 commit into

mainhyperpolymath/echo-types:mainfrom

claude/jolly-ramanujan-MRnyvhyperpolymath/echo-types:claude/jolly-ramanujan-MRnyvCopy head branch name to clipboard