[Merged by Bors] - chore(LinearAlgebra/TensorProduct/Tower): remove superfluous porting notes#13987

joneugster wants to merge 1 commit into

masterleanprover-community/mathlib4:masterfrom

eugster/porting-notes-009leanprover-community/mathlib4:eugster/porting-notes-009Copy head branch name to clipboard