perf: move ref into the Core.Context cold subobject - #15027

perf: move ref into the Core.Context cold subobject#15027

Kha wants to merge 2 commits into

masterleanprover/lean4:masterfrom

core-context-cold-refleanprover/lean4:core-context-cold-refCopy head branch name to clipboard