/-
Copyright (c) 2020 Chris Hughes. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Authors: Chris Hughes
-/
import algebra.module.basic
import algebra.module.submodule.basic

/-!
# Default file for module
This file imports `algebra.module.basic` and `algebra.module.submodule`.
-/
