feat: remove open_fresh_preserve_not_fvar#573

chenson2018 merged 1 commit into

leanprover:mainleanprover/cslib:mainfrom

lengyijun:openRec_fv_caseslengyijun/cslib:openRec_fv_casesCopy head branch name to clipboard