Kazuhisa Nakasho. Isomorphisms from the Space of Multilinear Operators. Formalized Mathematics, 27(2):101-106, 2019. [doi]
@article{Nakasho19b, title = {Isomorphisms from the Space of Multilinear Operators}, author = {Kazuhisa Nakasho}, year = {2019}, doi = {10.2478/forma-2019-0011}, url = {https://doi.org/10.2478/forma-2019-0011}, researchr = {https://researchr.org/publication/Nakasho19b}, cites = {0}, citedby = {0}, journal = {Formalized Mathematics}, volume = {27}, number = {2}, pages = {101-106}, }