Forgot to import univalence

Author: anshwad10

Cubical/Algebra/SymmetricGroup.agda

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