fix: remove grind attr from Xi.step_lc_r#751

lengyijun wants to merge 1 commit into

leanprover:mainleanprover/cslib:mainfrom

awesome-lambda-calculus:not_grind_step_lc_rawesome-lambda-calculus/cslib:not_grind_step_lc_rCopy head branch name to clipboard