zotero workingon 2024-01-26 Source Edit History Foliation MMP-7XXD555J Foliation MMPDefinitions and notationsMain theoremsKey lemma