refactor: remove FullBeta.step_subst_cong_r#738

lengyijun wants to merge 1 commit into

leanprover:mainleanprover/cslib:mainfrom

awesome-lambda-calculus:rm_FullBeta.step_subst_cong_rawesome-lambda-calculus/cslib:rm_FullBeta.step_subst_cong_rCopy head branch name to clipboard