Add Truncation to All.agda

guillaumebrunerie · Nov 12, 2012 · 1001f1e · 1001f1e
1 parent 7a2416e
commit 1001f1e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/All.agda b/All.agda
@@ -15,3 +15,4 @@ import Spaces.LoopSpaceCircle
 import Spaces.LoopSpaceDecidableWedgeCircles
 import Homotopy.PullbackIsPullback
 import Homotopy.PushoutIsPushout
+import Homotopy.Truncation