diff --git a/QuantumInfo/ClassicalInfo/Capacity.lean b/QuantumInfo/ClassicalInfo/Capacity.lean
index 8722232a1..6f6c26e10 100644
--- a/QuantumInfo/ClassicalInfo/Capacity.lean
+++ b/QuantumInfo/ClassicalInfo/Capacity.lean
@@ -5,9 +5,7 @@ Authors: Alex Meiburg
 -/
 module
 
-public import QuantumInfo.ClassicalInfo.Entropy
-public import Mathlib.Data.Finset.Fin
-public import Mathlib.Data.Fintype.Fin
+public import Mathlib.Data.Fin.Basic
 
 @[expose] public section