请输入您要查询的字词:
单词
Barnsley fern
释义
See
BarnsleyFern
随便看
47ClosurePropertiesOfEquivalences
4.7 Closure properties of equivalences
48TheObjectClassifier
4.8 The object classifier
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
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。
Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 22:51:19