“proof that η⁢(1)=l⁢n2”的概念、定义、习题解题方法及翻译-数学辞典

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

单词	proof that η⁢(1)=l⁢n2
释义	SeeProofThateta1ln2
随便看	A.1.2 Dependent function types (Π-types) A13DependentPairTypesSigmatypes A.1.3 Dependent pair types (Σ-types) A14CoproductTypes 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)