import Foundations.Structure

Author: anshwad10

Cubical/Algebra/SymmetricGroup.agda

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