Isomorphisms from the Space of Multilinear Operators

Kazuhisa Nakasho. Isomorphisms from the Space of Multilinear Operators. Formalized Mathematics, 27(2):101-106, 2019. [doi]

Abstract

Abstract is missing.