F. Riesz Theorem.
| Autor: | Keiko Narita, Kazuhisa Nakasho1, Yasunari Shidama2 |
|---|---|
| Zdroj: | Formalized Mathematics. Oct2017, Vol. 25 Issue 3, p179-184. 6p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|
| Autor: | Keiko Narita, Kazuhisa Nakasho1, Yasunari Shidama2 |
|---|---|
| Zdroj: | Formalized Mathematics. Oct2017, Vol. 25 Issue 3, p179-184. 6p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|