The differentiable functions on normed linear spaces
-
- Hiroshi Imura
- Creator
Journal
-
- Formalized Mathematics
-
Formalized Mathematics 12 (3), 321-, 2004
Details
-
- CRID
- 1370848663927353476
-
- Data Source
-
- Crossref
