“internal node (of a tree)”的概念、定义、习题解题方法及翻译-数学辞典

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

单词	internal node (of a tree)
释义	SeeInternalNodeofATree
随便看	5.5 Homotopy-inductive types 56TheGeneralSyntaxOfInductiveDefinitions 5.6 The general syntax of inductive definitions 57GeneralizationsOfInductiveTypes 5.7 Generalizations of inductive types 58IdentityTypesAndIdentitySystems 5.8 Identity types and identity systems 5Entanglement 5. Entanglement 5Induction 5. Induction 610Quotients 6.10 Quotients 611Algebra 6.11 Algebra 612TheFlatteningLemma 6.12 The flattening lemma 613TheGeneralSyntaxOfHigherInductiveDefinitions 6.13 The general syntax of higher inductive definitions 61Introduction 6.1 Introduction 62InductionPrinciplesAndDependentPaths 6.2 Induction principles and dependent paths 63TheInterval 6.3 The interval