Mathlib Changelog
v4
Changelog
About
Github
Theorem
Module.charP_end
Modification history
2024-11-22 13:03
Mathlib/Algebra/CharP/LinearMaps.lean
feat(FieldTheory.JacobsonNoether) : add proof of the Jacobson-Noether theorem (#16525) …
Added
Module.charP_end
View on Github →