Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-06-27 12:11
31812d3c
View on Github →
forward port 18820 (
#5521
)
Estimated changes
Modified
Mathlib/LinearAlgebra/LinearPMap.lean
added
theorem
LinearMap.toPMap_domain