Mathlib Changelog
v4
Changelog
About
Github
Theorem
Module.free_def
Modification history
2025-04-30 12:59
Mathlib/LinearAlgebra/FreeModule/Basic.lean
chore: more whitespace fixes (#24472) …
Modified
Module.free_def
View on Github →
2025-04-13 13:07
Mathlib/LinearAlgebra/FreeModule/Basic.lean
chore(FreeModule): clean up (#23996) …
Modified
Module.free_def
View on Github →
2023-04-07 13:27
Mathlib/LinearAlgebra/FreeModule/Basic.lean
feat: port LinearAlgebra.FreeModule.Basic (#3317)
Added
Module.free_def
View on Github →