Skip to content

refactor: remove FullBeta.step_subst_cong_r - #738

Open
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:rm_FullBeta.step_subst_cong_r
Open

refactor: remove FullBeta.step_subst_cong_r#738
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:rm_FullBeta.step_subst_cong_r

refactor: remove FullBeta.step_subst_cong_r

a4d219f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Jul 25, 2026 in 4s