The differentiable functions on normed linear spaces
-
- Hiroshi Imura
- 作成者
収録刊行物
-
- Formalized Mathematics
-
Formalized Mathematics 12 (3), 321-, 2004