请输入您要查询的字词:
单词
Nagell-Lutz theorem
释义
See
NagellLutzTheorem
随便看
2.1 Types are higher groupoids
22FunctionsAreFunctors
2.2 Functions are functors
23Tree
2-3 tree
23TypeFamiliesAreFibrations
2.3 Type families are fibrations
24HomotopiesAndEquivalences
2.4 Homotopies and Equivalences
25TheHigherGroupoidStructureOfTypeFormers
2.5 The higher groupoid structure of type formers
26CartesianProductTypes
2.6 Cartesian product types
27Sigmatypes
2.7 Σ-types
28TheUnitType
2.8 The unit type
29PitypesAndTheFunctionExtensionalityAxiom
SphereTheoremFromGlobalDifferentialGeometry
sphere theorem from global differential geometry
SphericalCoordinates
spherical coordinates
SphericalDerivative
spherical derivative
SphericalMean
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。
Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 20:14:16