{-# OPTIONS --cubical --safe #-}

module Function.Surjective where

open import Function.Surjective.Base public