-- Wurzelmodul: importiert alle Übungsdateien.
import AlgebraInLean.Basics
import AlgebraInLean.Quotients
import AlgebraInLean.Ideals
import AlgebraInLean.Polynomials
import AlgebraInLean.Degrees
import AlgebraInLean.Elements
import AlgebraInLean.Transitivity
import AlgebraInLean.LittleFermat
import AlgebraInLean.Cauchy
import AlgebraInLean.Frobenius
import AlgebraInLean.Galois
import AlgebraInLean.Reciprocity