Mathlib Changelog
v4
Changelog
About
Github
Theorem
Module.AEval.mem_comapSubmodule
Modification history
2024-10-22 08:37
Mathlib/Algebra/Polynomial/Module/AEval.lean
feat: define finitely-semisimple linear maps (#17689) …
Deleted
Module.AEval.mem_comapSubmodule
View on Github →
2024-06-08 18:34
Mathlib/Algebra/Polynomial/Module/AEval.lean
Chore(Algebra/Polynomial/Module/Basic): Refactor out Module.AEval (#13613) …
Modified
Module.AEval.mem_comapSubmodule
View on Github →
2024-01-16 21:01
Mathlib/Data/Polynomial/Module.lean
feat: basic theory connecting `R[X]`-submodules and invariant `R`-submodules (#9721)
Added
Module.AEval.mem_comapSubmodule
View on Github →