Any two co closures of a submodule of quasi discrete module M are superspective, and hence isomorphic;

拟离散模的子模的任何两个余闭包是超视的，因而是同构的；

youdao

The mission was commanded by John Young; Thomas K. Mattingly II was the command module pilot and Charles M. Duke, Jr. served as the lunar module pilot.

任务由 约翰 杨 指挥；汤姆斯 K. 马丁利二世任指挥舱飞行员；小查尔斯 M. 杜克任登月舱飞行员。

youdao

The "-m" argument says to take whatever follows and import it as a module, like a "use ModuleName" in a regular script.

“- m”参数表示获取其后的任何内容并将该内容作为模块导入，类似于正规脚本中的“use ModuleName”。

youdao

OK. Having done this now, I can simply go ahead and run this, and in fact if I go up here to run, you'll see I've got both an option to check the module, though in this case I'm just going to run it.

好，讲完了这些，我可以去执行程序了，实际上如果我在这里运行，你们会看到我同样得到了,一个可以同时检查模块的选项，虽然在这个例子中我就是直接去运行程序了。

麻省理工公开课 - 计算机科学及编程导论课程节选