Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed Spaces

Kazuhisa Nakasho, Yasunari Shidama. Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed Spaces. Formalized Mathematics, 32(1):165-172, 2024. [doi]

Abstract

Abstract is missing.