On L^p Space Formed by Real-Valued Partial Functions

Yasushige Watase, Noboru Endou, Yasunari Shidama. On L^p Space Formed by Real-Valued Partial Functions. Formalized Mathematics, 18(1-4):159-169, 2010. [doi]

Abstract

Abstract is missing.