feat(FullBetaEta): redex_app_l_cong, redex_app_r_cong#571

chenson2018 merged 1 commit into

leanprover:mainleanprover/cslib:mainfrom

lengyijun:fullbetaetalengyijun/cslib:fullbetaetaCopy head branch name to clipboard