英语语法分析

He conceived the first proof that the 17-sided polygon is constructible.

他构思了17边形可以作图的第一个证明。

He conceived the first proof that the 17 - sided polygon is constructible.

他构思了17边形可以作图的第一个证明。

A type playing the role of copy-constructible-type in the CopyConstructible concept.

在可复制构造概念中担任可复制构造类型角色的类型。