doc(linear_algebra/trace): fix error in title (#8803)
doc(linear_algebra/trace): fix error in title (#8803)

the first two lines of this were super contradictory







leanprover-community/mathlib,leanprover-community/mathlib