Further processing options
F. Riesz Theorem
Saved in:
Journal Title: | Formalized Mathematics |
---|---|
Authors and Corporations: | , , |
In: | Formalized Mathematics, 25, 2017, 3, p. 179-184 |
Type of Resource: | E-Article |
Language: | English |
published: |
Walter de Gruyter GmbH
|
Subjects: |