Theorem Submodule.toLinearPMap_range

Modification history

2023-04-20 11:28
Mathlib/LinearAlgebra/LinearPMap.lean
feat: inverse of LinearPMap (#3527)
Added Submodule.toLinearPMap_rangeView on Github →