请输入您要查询的字词:
单词
construction of regular 2n-gon from regular n-gon
释义
See
ConstructionOfRegular2ngonFromRegularNgon
随便看
49UnivalenceImpliesFunctionExtensionality
4.9 Univalence implies function extensionality
4Equivalences
4. Equivalences
4Measurement
4. Measurement
4SurfaceBundles
4 surface bundles
51IntroductionToInductiveTypes
5.1 Introduction to inductive types
52UniquenessOfInductiveTypes
5.2 Uniqueness of inductive types
53Wtypes
5.3 W-types
54InductiveTypesAreInitialAlgebras
5.4 Inductive types are initial algebras
55HomotopyinductiveTypes
5.5 Homotopy-inductive types
56TheGeneralSyntaxOfInductiveDefinitions
5.6 The general syntax of inductive definitions
57GeneralizationsOfInductiveTypes
5.7 Generalizations of inductive types
58IdentityTypesAndIdentitySystems
5.8 Identity types and identity systems
5Entanglement
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。
Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 9:30:30