module foundation.equality-fibers-of-maps where
open import foundation-core.equality-fibers-of-maps public