“proof of Lagrange’s four-square theorem”的概念、定义、习题解题方法及翻译-数学辞典

单词	proof of Lagrange’s four-square theorem
释义	SeeProofOfLagrangesFoursquareTheorem
随便看	A.1.4 Coproduct types A15TheFiniteTypes A.1.5 The finite types A16NaturalNumbers A.1.6 Natural numbers A17Wtypes A.1.7 W-types A18IdentityTypes A.1.8 Identity types A1TheFirstPresentation A.1 The first presentation A210IdentityTypes A.2.10 Identity types A211Definitions A.2.11 Definitions A21Contexts A.2.1 Contexts A23TypeUniverses A.2.3 Type universes A24DependentFunctionTypesPitypes A.2.4 Dependent function types (Π-types) A25DependentPairTypesSigmatypes A.2.5 Dependent pair types (S⁢i⁢g⁢m⁢a-types) A26CoproductTypes A.2.6 Coproduct types

数学辞典收录了18232条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。