Theorem Module.finitePresentation_of_split_exact

Modification history

2025-01-25 16:37
Mathlib/Algebra/Module/FinitePresentation.lean
feat(RingTheory): the smooth locus of an algebra (#20953)
Added Module.finitePresentation_of_split_exactView on Github →