feat: precise close_var_not_fvar#585

lengyijun wants to merge 1 commit into

leanprover:mainleanprover/cslib:mainfrom

lengyijun:close_rec_fvlengyijun/cslib:close_rec_fvCopy head branch name to clipboard