Mathlib Changelog
v4
Changelog
About
Github
Theorem
RingCon.matrix_injective
Modification history
2025-04-18 00:22
Mathlib/LinearAlgebra/Matrix/Ideal.lean
feat: generalize `TwoSidedIdeal.matricesOver` to `RingCon` (#23641) …
Added
RingCon.matrix_injective
View on Github →