Moving file about hexagons of identifications (UniMath#782)

fredrik-bakke · Sep 17, 2023 · 0106784 · 0106784
1 parent b804ea5
commit 0106784
Show file tree

Hide file tree

Showing 9 changed files with 361 additions and 484 deletions.
diff --git a/src/foundation-core.lagda.md b/src/foundation-core.lagda.md
@@ -8,7 +8,6 @@ module foundation-core where
 open import foundation-core.1-types public
 open import foundation-core.cartesian-product-types public
 open import foundation-core.coherently-invertible-maps public
-open import foundation-core.commuting-cubes-of-maps public
 open import foundation-core.commuting-squares-of-maps public
 open import foundation-core.commuting-triangles-of-maps public
 open import foundation-core.constant-maps public