The differentiable functions on normed linear spaces
-
- Hiroshi Imura
- Creator
Journal
-
- Formalized Mathematics
-
Formalized Mathematics 12 (3), 321-, 2004