feat: decidable LcAt and LC#572

chenson2018 merged 1 commit into

leanprover:mainleanprover/cslib:mainfrom

lengyijun:decidable_lcatlengyijun/cslib:decidable_lcatCopy head branch name to clipboard