module foundation.commuting-3-simplices-of-homotopies where
open import foundation-core.commuting-3-simplices-of-homotopies public