Mathlib Changelog
v4
Changelog
About
Github
Theorem
LinearMap.mulRight_inj
Modification history
2025-08-08 10:54
Mathlib/Algebra/Algebra/Bilinear.lean
feat(Algebra/Algebra/Bilinear): `mulLeft_inj` and `mulRight_inj` (#27999)
Added
LinearMap.mulRight_inj
View on Github →