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