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