feat: prove that regular languages are closed under concatenation#239

ctchou wants to merge 3 commits intoleanprover:mainleanprover/cslib:mainfrom

ctchou:na-totalctchou/cslib:na-totalCopy head branch name to clipboard