[Merged by Bors] - chore(Analysis/InnerProductSpace/JointEigenspace): Remove duplicated namespace in name of LinearMap.IsSymmetric.directSum_isInternal_of_pairwise_commute#39784

JonBannon wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

JonBannon:Name-correction-for-directSum_isInternal_of_pairwise_commuteJonBannon/mathlib4:Name-correction-for-directSum_isInternal_of_pairwise_commuteCopy head branch name to clipboard