{-# OPTIONS --without-K --exact-split #-}

module algebra where

open import algebra.abelian-groups public
open import algebra.abelian-subgroups public
open import algebra.categories public
open import algebra.free-group public
open import algebra.gaussian-integers public
open import algebra.group-completion public
open import algebra.ideals public
open import algebra.integers public
open import algebra.localizations-rings public
open import algebra.modular-arithmetic-integers public
open import algebra.polynomial-rings public
open import algebra.quaternion-group public
open import algebra.quotient-groups public
open import algebra.rational-numbers public
open import algebra.rings-with-properties public
open import algebra.rings public
open import algebra.subgroups public
