mathlib documentation

algebra.module.default

Default file for module #

This file imports algebra.module.basic and algebra.module.submodule.