From efdd7c70a8605c51b7aaa1b0b33914ca741ffe39 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown@cl.cam.ac.uk>
Date: Sat, 2 Apr 2022 13:34:28 +0100
Subject: Add properties of almost groups.

---
 Everything.agda | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Everything.agda')

diff --git a/Everything.agda b/Everything.agda
index 3c60792..87541c3 100644
--- a/Everything.agda
+++ b/Everything.agda
@@ -69,6 +69,9 @@ import Helium.Algebra.Ordered.StrictTotal.Properties.Semigroup
 -- operations, etc.)
 import Helium.Algebra.Ordered.StrictTotal.Structures
 
+-- Properties of almost groups
+import Helium.Algebra.Properties.AlmostGroup
+
 -- Some more algebraic structures
 import Helium.Algebra.Structures
 
-- 
cgit v1.2.3