doc(RepresentationTheory/FdRep): fix spelling typo (#11410)

leanprover-community · Mar 16, 2024 · a81a438 · a81a438
1 parent 1a1dffd
commit a81a438
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/RepresentationTheory/FdRep.lean b/Mathlib/RepresentationTheory/FdRep.lean
@@ -159,7 +159,7 @@ namespace FdRep
 
 -- The variables in this section are slightly weird, living half in `Representation` and half in
 -- `FdRep`. When we have a better API for general monoidal closed and rigid categories and these
--- structures on `FdRep`, we should remove the dependancy of statements about `FdRep` on
+-- structures on `FdRep`, we should remove the dependency of statements about `FdRep` on
 -- `Representation.linHom` and `Representation.dual`. The isomorphism `dualTensorIsoLinHom`
 -- below should then just be obtained from general results about rigid categories.
 open Representation