Update src/Ledger/Conway/Specification/Epoch/Properties/Computational.agda

Co-authored-by: William DeMeo <williamdemeo@gmail.com>

Author: carlostome

src/Ledger/Conway/Specification/Epoch/Properties/Computational.agda

@@ -22,7 +22,6 @@ open import Ledger.Conway.Specification.Ratify.Properties.Computational txs
 open import Ledger.Conway.Specification.Rewards txs abs
 open import Ledger.Conway.Specification.Rewards.Properties.Computational txs abs
 
-open import Data.List using (filter)
 import Relation.Binary.PropositionalEquality as PE
 
 open Computational ⦃...⦄