SharedDefinitions_and_Theorems.pdfOpen in CoCalc