fix(search,#13841): rename Lean-18-Search-AStar-Optimality to Search-03e-AStar-Optimality - #14080

fix(search,#13841): rename Lean-18-Search-AStar-Optimality to Search-03e-AStar-Optimality#14080

jsboige wants to merge 1 commit into

mainjsboige/CoursIA:mainfrom

feature/13841-lean18-search03e-renamejsboige/CoursIA:feature/13841-lean18-search03e-renameCopy head branch name to clipboard