The Measurability of Complex-Valued Functional Sequences

Keiko Narita, Noboru Endou, Yasunari Shidama. The Measurability of Complex-Valued Functional Sequences. Formalized Mathematics, 17(1-4):89-97, 2009. [doi]

Abstract

Abstract is missing.