fix(search,#13841): minimal rename Lean-18 -> Search-03e + README attribution fix - #14250

fix(search,#13841): minimal rename Lean-18 -> Search-03e + README attribution fix#14250

jsboige merged 1 commit into

mainjsboige/CoursIA:mainfrom

fix/13841-minimal-rename-search03ejsboige/CoursIA:fix/13841-minimal-rename-search03eCopy head branch name to clipboard