请输入您要查询的字词:
单词
spaces homeomorphic to Baire space
释义
See
SpacesHomeomorphicToBaireSpace
随便看
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
5.7 Generalizations of inductive types
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。
Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/5 1:56:08