Series in Banach and Hilbert spaces (1992)

by El˙zbieta Kraszewska, Jan Popiołek
Venue:Journal of Formalized Mathematics