module Cubical.HITs.FreeAbGroup where

open import Cubical.HITs.FreeAbGroup.Base public