Cubical.Categories.NaturalTransformation

module Cubical.Categories.NaturalTransformation where

open import Cubical.Categories.NaturalTransformation.Base public
open import Cubical.Categories.NaturalTransformation.Properties public