Forgot to import from Cubical.Foundations.Isomorphism

Author: anshwad10

Cubical/Algebra/SymmetricGroup.agda

@@ -5,6 +5,7 @@ open import Cubical.Foundations.Prelude
 open import Cubical.Foundations.Equiv
 open import Cubical.Foundations.HLevels
 open import Cubical.Foundations.Function
+open import Cubical.Foundations.Isomorphism
 open import Cubical.Data.Sigma
 open import Cubical.Data.Nat
 open import Cubical.Data.SumFin