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

the first two lines of this were super contradictory
leanprover-community · Aug 22, 2021 · d9113ec · d9113ec
1 parent 87f14e3
commit d9113ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/linear_algebra/trace.lean b/src/linear_algebra/trace.lean
@@ -8,7 +8,7 @@ import linear_algebra.matrix.trace
 
 
 /-!
-# Trace of a matrix
+# Trace of a linear map
 
 This file defines the trace of a linear map.