Skip to content

Formalise Lemmas 10.7 and 10.8 from RS17#44

Merged
emilyriehl merged 6 commits intorzk-lang:mainfrom dvmcarpena:issue-24Sep 23, 2023