Displaying similar documents to “On constructivizability of the tensor product of modules.”