“1.11 Propositions as types”的概念、定义、习题解题方法及翻译-数学辞典

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

单词	1.11 Propositions as types
释义	See111PropositionsAsTypes
随便看	Cauchy integral theorem CauchyInvarianceRule Cauchy invariance rule CauchyKowalewskiTheorem Cauchy-Kowalewski theorem CauchyMatrix Cauchy matrix CauchyPrincipalPartIntegral Cauchy principal part integral CauchyProduct Cauchy product CauchyRandomVariable Cauchy random variable Cauchy reals Cauchy reals are Cauchy complete CauchyResidueTheorem Cauchy residue theorem CauchyRiemannEquations Cauchy-Riemann equations CauchyRiemannEquationscomplexCoordinates Cauchy-Riemann equations (complex coordinates) CauchyRiemannEquationspolarCoordinates Cauchy-Riemann equations (polar coordinates) CauchySchwarzInequality Cauchy-Schwarz inequality