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