Dual Spaces and Hahn-Banach Theorem.
| Autor: | Narita, Keiko1, Endou, Noboru2, Shidama, Yasunari3 |
|---|---|
| Zdroj: | Formalized Mathematics. 2014, Vol. 22 Issue 1, p69-77. 9p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|
| Autor: | Narita, Keiko1, Endou, Noboru2, Shidama, Yasunari3 |
|---|---|
| Zdroj: | Formalized Mathematics. 2014, Vol. 22 Issue 1, p69-77. 9p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|