{-# OPTIONS --without-K --rewriting #-}

module lib.groupoids.Groupoids where

open import lib.groupoids.FundamentalPreGroupoid public