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.
在可复制构造概念中担任可复制构造类型角色的类型。
应用推荐